This page is about the SAT package. For a function list see Category:Package sat.
The basic idea behind this package is to make SAT solver, like CryptoMiniSat, usable in/with ApCoCoA.
This package allows to solve polynomial systems over by first converting the system to CNF-SAT in DIMACS format and then using a SAT solver to solve the resulting conjunctive normal form.
Important: The SAT executable must be in packages/binaries and you must have the permissions to read and write in the directory packages/temp in the CoCoA plugin folder.
For further informations about SAT-Solver and the DIMACS format see the following links: