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