1 unstable release

0.1.0 Apr 5, 2023

#14 in #cnf

CC0 license

9KB
244 lines


Automatic conversion of functions to CNF for SAT solving

No runtime deps