Added - Possibility of having different versions of a rule in tableaux systems
1.10.1
Fixed - Bug in the biconditional rule of classical tableaux system
1.10.0
Added - Model finder for classical model theory w/documentation and tests
Fixed - Bug fix in PredicateFormula free_variables method
1.9.1
Fixed - Mini bug fix in predicate model semantics (makes the valuation function more general)
1.9.0
Added - Random formula generator for predicate languages (`logics.utils.formula_generators.generators_biased.RandomPredicateGenerator`)
1.8.1
Fixed - `get_counterexample` function fixed for many-valued systems (was returning incorrect results). Takes two extra optional parameters now, see docs.