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
- 14:35, 3 August 2009 diff hist +155 ApCoCoALib:CompilationInstructions →GMP
- 12:49, 3 August 2009 diff hist +147 ApCoCoALib:CompilationInstructions →Windows
- 12:03, 3 August 2009 diff hist -37 ApCoCoALib:CompilationInstructions →ATLAS
- 11:48, 3 August 2009 diff hist -1 ApCoCoALib:CompilationInstructions →Linux
- 11:48, 3 August 2009 diff hist +167 ApCoCoALib:CompilationInstructions →Linux
- 11:15, 3 August 2009 diff hist +33 ApCoCoALib:CompilationInstructions →CoCoALib
- 11:03, 3 August 2009 diff hist -2 ApCoCoALib:CompilationInstructions →GMP
- 11:02, 3 August 2009 diff hist +218 ApCoCoALib:CompilationInstructions →GMP
- 08:59, 3 August 2009 diff hist +4 ApCoCoALib:CompilationInstructions →Requirements
- 13:36, 28 July 2009 diff hist +4 ApCoCoALib:CompilationInstructions →Requirements
- 13:09, 28 July 2009 diff hist +18 ApCoCoALib:CompilationInstructions →Requirements
- 13:06, 28 July 2009 diff hist +4 ApCoCoALib:CompilationInstructions →Requirements
- 12:39, 28 July 2009 diff hist +56 ApCoCoALib:CompilationInstructions →Requirements
- 12:33, 28 July 2009 diff hist +34 ApCoCoALib:CompilationInstructions →Requirements
- 11:20, 15 July 2009 diff hist -99 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Installing the Plugin
- 11:18, 15 July 2009 diff hist 0 File:04 review dialog.png uploaded a new version of "Image:04 review dialog.png" current
- 11:17, 15 July 2009 diff hist 0 File:03 install dialog.png uploaded a new version of "Image:03 install dialog.png" current
- 12:36, 13 July 2009 diff hist +45 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Installing the Plugin
- 12:30, 13 July 2009 diff hist +22 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Create and use an (interactive) Editor Window
- 12:27, 13 July 2009 diff hist +2 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Create and use an (interactive) Editor Window
- 12:20, 13 July 2009 diff hist -3 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Create a new Project
- 12:18, 13 July 2009 diff hist 0 N File:08 eclipse navigator.png current
- 12:15, 13 July 2009 diff hist +120 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Create a new Project
- 12:12, 13 July 2009 diff hist +6 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Create a new Project
- 12:10, 13 July 2009 diff hist 0 N File:07 apcocoa project.png current
- 12:08, 13 July 2009 diff hist +5 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Configure Eclipse
- 12:06, 13 July 2009 diff hist 0 N File:06 setting apcocoa paths.png current
- 12:04, 13 July 2009 diff hist +3 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Configure Eclipse
- 12:01, 13 July 2009 diff hist +6 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Installing the Plugin
