0.1.8 - Bug fixes for CNF conversion, variable equality and parentheses

sfluegel05 released this 21 Jan 15:27

· 17 commits to dev since this release

54eaf69

What's Changed

fix cnf conversion & variable equality by @sfluegel05 in #20
fix parentheses for n-ary formulas by @sfluegel05 in #22

Full Changelog: 0.1.7...0.1.8

Contributors

sfluegel05

Assets 2