User contributions
From ApCoCoAWiki
- 12:54, 12 October 2009 diff hist +41 Category:ApCoCoA-1:Package sat
- 12:40, 12 October 2009 diff hist +2 ApCoCoA-1:SAT.LaunchCryptoMiniSat
- 12:38, 12 October 2009 diff hist +2 ApCoCoA-1:SAT.FixBits
- 12:37, 12 October 2009 diff hist +2 ApCoCoA-1:SAT.ConvertToXOR
- 12:37, 12 October 2009 diff hist +2 ApCoCoA-1:SAT.ConvertToCNF
- 12:36, 12 October 2009 diff hist +590 N ApCoCoA-1:SAT.GetResult New page: <command> <title>SAT.GetResult</title> <short_description>Looks up the configuration of the indeterminates in the file "output" produced by a SAT-Solver.</short_description> <synta...
- 12:32, 12 October 2009 diff hist +622 N ApCoCoA-1:SAT.LaunchCryptoMiniSat New page: <command> <title>SAT.LaunchCryptoMiniSat</title> <short_description>{{ApCoCoAServer}} Launches CryptoMiniSat via the ApCoCoAServer on a given input file. The result is written to ...
- 12:31, 12 October 2009 diff hist +586 N ApCoCoA-1:SAT.LaunchMiniSat New page: <command> <title>SAT.LaunchMiniSat</title> <short_description>{{ApCoCoAServer}} Launches MiniSat via the ApCoCoAServer on a given input file. The result is written to the file out...
- 12:20, 12 October 2009 diff hist +1,085 N ApCoCoA-1:SAT.FixBits New page: <command> <title>SAT.FixBits</title> <short_description>Allows to fix chosen bits in advance within a SAT input file. The new input file is sat_fixed.cnf. </short_description> <syn...
- 12:14, 12 October 2009 diff hist +11 ApCoCoA-1:SAT.ConvertToXOR
- 12:10, 12 October 2009 diff hist 0 Category:ApCoCoA-1:Package sat
- 12:10, 12 October 2009 diff hist -23 Category:ApCoCoA-1:Package sat
- 12:08, 12 October 2009 diff hist +35 ApCoCoA-1:SAT.ConvertToCNF
- 12:06, 12 October 2009 diff hist +1,556 N ApCoCoA-1:SAT.ConvertToXOR New page: <command> <title>SAT.ConvertToXOR</title> <short_description>Converts a given quadratic (cubic) system of polynomial equations (SPE) over GF(2) to XOR-CNF. Writes the XOR-CNF to th...
- 12:00, 12 October 2009 diff hist +1,600 N ApCoCoA-1:SAT.ConvertToCNF New page: <command> <title>SAT.ConvertToCNF</title> <short_description>Converts a given quadratic (cubic) system of polynomial equations (SPE) over GF(2) to CNF.</short_description> <syntax>...
- 11:46, 12 October 2009 diff hist +686 N Category:ApCoCoA-1:Package sat New page: 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...
- 07:42, 7 August 2009 diff hist -212 ApCoCoALib:CompilationInstructions →LinBox
- 14:59, 4 August 2009 diff hist +212 ApCoCoALib:CompilationInstructions →LinBox
- 14:31, 4 August 2009 diff hist -11 ApCoCoALib:CompilationInstructions →LinBox
- 13:28, 4 August 2009 diff hist +363 ApCoCoALib:CompilationInstructions →Windows
- 13:22, 4 August 2009 diff hist +144 ApCoCoALib:CompilationInstructions →Requirements