v3.3.0

• Support Nim v1.6.16.
• Add test for Nim v1.6.16.

Note that there are no changes on source codes.

v3.2.1

Bug fix

• Fixed the bug of parsing formulae

v3.2.0

• Support parsing from string corresponds to a formula to formula expressed with a PropLogicFormula type.

v3.1.0

Feature

• Support hashing for TruthValue

v3.0.0

Breaking changes

• The key of Interpretations is now atomic propositions.
• The id of atomic propositions are now private.

How to migrate

• Replace P.id to P.getId() where P is an atomic propositions.

Other features

New procedures

• hash: Hashing procedure for AtomicPropFormula
• $ for TruthValue
• getNumberOfAtomicPropositions: returns the number of atomic propositions
• getNumberOfInterpretations: returns the number of interpretations
• getId: returns id of an atomic proposition

v2.3.1

Bug fix

• returns itself when a formula which is tautology is given to simplification.

v2.3.0

• Fix bug of simplification
  • #17
• Add new proc iff

v2.2.2

• export generateAtomicPropByGivenId
  • You can specify atomic proposition's id by the argument
  • This proc should be used for generating existing atomic propositions. Use generateAtomicProp to generate new atomic propositions. This proc will raise AssertionDefect when the atomic proposition which has given id does not exist.

v2.2.1

• export type Interpretation
• update how to install because install via nimble.directory is now available

v2.2.0

• Support simplification of logical formulae.
  • Note that the proc does not always return the simplest formula, but returns simpler formula than given one.
• make TruthValue more safer.