v0.9.0

github-actions released this 05 Jun 13:51

· 125 commits to main since this release

SoleLogics v0.9.0

Diff since v0.8.3

Major speedup with SyntaxBranch (now free of type parameters).
Add randatom, natoms.
Improved interface for UnionAlphabet.
Fix bugs with LeftmostConjuctiveForm.
Fix bugs with ManyValuedLogics order utilities.

Assets 2