search

meelgroup / bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Other
65 stars 18 forks source link

CNF reading does not care about independent set and will lose/create solutions. #43

Open msoos opened 1 year ago

msoos commented 1 year ago

Likely this will never be fixed, but I am putting this here anyway.