In “colorie”, fix -print-sat to display the SAT problem in DIMACS format.
In “colorie”, fix -print-sat to display the SAT problem in DIMACS format.

Ezibenroc/satsolver,Ezibenroc/satsolver,Ezibenroc/satsolver,Ezibenroc/satsolver