Skip to content

v0.10.1

Pre-release
Pre-release
Compare
Choose a tag to compare
@nicola-gigante nicola-gigante released this 20 Mar 13:31
· 25 commits to master since this release
v0.10.1
7446ddb

This small release adds the much requested --validity
(or -v) option to the black solve command to test validity
of formulas instead of satisfiability.

Assets 5
Loading