up previous next
6.1.21 Package sat
The following are commands and functions within the package sat:
SAT.ConvertToCNF Converts a given quadratic (cubic) system of polynomial equations (SPE) over GF(2) to CNF. Writes the CNF to the file sat.cnf
SAT.ConvertToXOR Converts a given quadratic (cubic) system of polynomial equations (SPE) over GF(2) to XOR-CNF. Writes the XOR-CNF to the file sat_xor.cnf.
SAT.FixBits Allows to fix chosen bits in advance within a SAT input file. The new input file is sat_fixed.cnf.
SAT.GetResult Looks up the configuration of the indeterminates in the file output produced by a SAT-Solver. The file output must be in the folder ApCoCoA-directory/sat/bin.
SAT.LaunchCryptoMiniSat Launches CryptoMiniSat via the ApCoCoAServer on a given input file located in ApCoCoA-directory/sat/bin. The result is written to the file output.
SAT.LaunchMiniSat Launches MiniSat via the ApCoCoAServer on a given input file located in ApCoCoA-directory/sat/bin. The result is written to the file output.




For details look up each item by name. Online, try ?ItemName or H.Syntax("ItemName").