NEWS
Pinference 0.2.6 (2025-11-30)
- New two-argument function ifthen() for material implication.
- Updated documentation about choice of logical notation, emphasizing possible non-standard connective precedence.
- inferP() issues a warning if
! is used for "not" together with * + >, owing to very error-prone connective precedence with this use combination.
Pinference 0.2.5 (2025-10-06)
- Corrected links in documentation.
- New examples with inequality constraints.
- Initial CRAN submission.
Pinference 0.2.0
- New default notation, closer to the mathematical one.
- New argument
solidus = to select new (default) or old notation.
Pinference 0.1.0
- Release of main function and explanatory vignette.