Difference between revisions of "Category:ApCoCoA-1:Package sat"

From ApCoCoAWiki
m (Bot: Replacing category ApCoCoA Manual with ApCoCoA-1 Manual)
m (Andraschko moved page Category:Package sat to Category:ApCoCoA-1:Package sat: Clearer page title)
(No difference)

Revision as of 15:18, 2 October 2020

The basic idea behind this package is to make SAT-Solver, like (Crypto-)MiniSat, usable in/with ApCoCoA.

This package allows to solve polynomial systems over GF(2) by first converting the system to CNF-SAT in DIMACS format and then using a SAT-Solver to solve the resulting conjunctive normal form.

Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.

Important: The MiniSat executable must be in ApCoCoA_directory/sat/bin and you must have the permissions to read and write in this directory.

For further informations about SAT-Solver and the DIMACS format see the following links:

MiniSat [1], CryptoMiniSat [2], DIMACS [3]

Pages in category "ApCoCoA-1:Package sat"

The following 6 pages are in this category, out of 6 total.