up previous next
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").