CODEWITHSUNDEEP
optimizationsatplanningcnfpysat
Omer Eliyahu
Omer Eliyahu

Reputation: 11

minimizing a CNF in python

I have tried to use minisat22 but it has no such functionallity. im looking for an efficient algorithm to minimize a CNF formula implemented in python for minimizing a CNF. Im using pysat.formula but im open to other libraries as long as they are efficient and usable in python.

Upvotes: 0

Views: 55

Answers (0)

Related Questions