bool2cnf 0.1.7

transfer boolean expression to dimacs directly
Documentation