v0.1.3

Latest

Latest

github-actions released this 18 May 19:35

· 1 commit to main since this release

06bb02c

Bug Fixes:

exactly_one/1 produces wrong results for N > 2 variables (#26) by @matt-beanland (#26)

Improvements:

apply tseitin transformation to CNF conversion (#28) by @zachdaniel (#28)

Assets 2