Fixed - `get_counterexample` function fixed for many-valued systems (was returning incorrect results). Takes two extra optional parameters now, see docs.
1.8.0
Changed - `get_counterexample` function changed for `get_counterexamples`. Can now return many counterexamples instead of just one (controlled by an extra parameter).
Added - `get_counterexample` method for tableaux systems (normal, indexed and metainferential)
1.7.2
Fixed - Changed the implementation of the tableaux solver, setting `allow_repetition_of_nodes` to `False` should now work correctly (not avioding repetitions on branching)
1.7.1
Added - WK-schema instances for metainferential tableaux