Skip to contents

Changelog

Source: NEWS.md

Pinference 0.2.6

  • 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

CRAN release: 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.