Lesson 4

The module \(\texttt{pycosat}\) is a Python wrapper for the SAT solver \(\texttt{PicoSAT}\). Its functionality is simple: there is practically only the \(\texttt{solve()}\) method. The module \(\texttt{PySAT}\) provides a broader set of tools: it includes several solvers, scripts for generating complex formulas and writing complex constraints (for example, to write in one line a CNF constraint like \([x_{1}+\dotsb+x_{n} \ge k]\)).