Open FreeYourSoul opened 1 year ago
Is your feature request related to a problem? Please describe. Need to have the capability to implement up to N in boolean CNF
up to N
read paper : https://www.cs.cmu.edu/~wklieber/papers/2007_efficient-cnf-encoding-for-selecting-1.pdf
Is your feature request related to a problem? Please describe. Need to have the capability to implement
up to N
in boolean CNFread paper : https://www.cs.cmu.edu/~wklieber/papers/2007_efficient-cnf-encoding-for-selecting-1.pdf