User contributions for Philipp jovanovic

12 October 2009

• 12:5412:54, 12 October 2009 diff hist +41 Category:ApCoCoA-1:Package sat No edit summary
• 12:4012:40, 12 October 2009 diff hist +2 ApCoCoA-1:SAT.LaunchCryptoMiniSat No edit summary
• 12:3812:38, 12 October 2009 diff hist +2 ApCoCoA-1:SAT.FixBits No edit summary
• 12:3712:37, 12 October 2009 diff hist +2 ApCoCoA-1:SAT.ConvertToXOR No edit summary
• 12:3712:37, 12 October 2009 diff hist +2 ApCoCoA-1:SAT.ConvertToCNF No edit summary
• 12:3612: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:3212: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:3112: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:2012: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:1412:14, 12 October 2009 diff hist +11 ApCoCoA-1:SAT.ConvertToXOR No edit summary
• 12:1012:10, 12 October 2009 diff hist 0 Category:ApCoCoA-1:Package sat No edit summary
• 12:1012:10, 12 October 2009 diff hist −23 Category:ApCoCoA-1:Package sat No edit summary
• 12:0812:08, 12 October 2009 diff hist +35 ApCoCoA-1:SAT.ConvertToCNF No edit summary
• 12:0612: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:0012: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:4611: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...

7 August 2009

• 07:4207:42, 7 August 2009 diff hist −212 ApCoCoALib:CompilationInstructions →LinBox

4 August 2009

• 14:5914:59, 4 August 2009 diff hist +212 ApCoCoALib:CompilationInstructions →LinBox
• 14:3114:31, 4 August 2009 diff hist −11 ApCoCoALib:CompilationInstructions →LinBox
• 13:2813:28, 4 August 2009 diff hist +363 ApCoCoALib:CompilationInstructions →Windows
• 13:2213:22, 4 August 2009 diff hist +144 ApCoCoALib:CompilationInstructions →Requirements

3 August 2009

• 14:3514:35, 3 August 2009 diff hist +155 ApCoCoALib:CompilationInstructions →GMP
• 12:4912:49, 3 August 2009 diff hist +147 ApCoCoALib:CompilationInstructions →Windows
• 12:0312:03, 3 August 2009 diff hist −37 ApCoCoALib:CompilationInstructions →ATLAS
• 11:4811:48, 3 August 2009 diff hist −1 ApCoCoALib:CompilationInstructions →Linux
• 11:4811:48, 3 August 2009 diff hist +167 ApCoCoALib:CompilationInstructions →Linux
• 11:1511:15, 3 August 2009 diff hist +33 ApCoCoALib:CompilationInstructions →CoCoALib
• 11:0311:03, 3 August 2009 diff hist −2 ApCoCoALib:CompilationInstructions →GMP
• 11:0211:02, 3 August 2009 diff hist +218 ApCoCoALib:CompilationInstructions →GMP
• 08:5908:59, 3 August 2009 diff hist +4 ApCoCoALib:CompilationInstructions →Requirements

28 July 2009

• 13:3613:36, 28 July 2009 diff hist +4 ApCoCoALib:CompilationInstructions →Requirements
• 13:0913:09, 28 July 2009 diff hist +18 ApCoCoALib:CompilationInstructions →Requirements
• 13:0613:06, 28 July 2009 diff hist +4 ApCoCoALib:CompilationInstructions →Requirements
• 12:3912:39, 28 July 2009 diff hist +56 ApCoCoALib:CompilationInstructions →Requirements
• 12:3312:33, 28 July 2009 diff hist +34 ApCoCoALib:CompilationInstructions →Requirements

15 July 2009

• 11:2011:20, 15 July 2009 diff hist −99 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Installing the Plugin
• 11:1811:18, 15 July 2009 diff hist 0 File:04 review dialog.png uploaded a new version of "Image:04 review dialog.png" current
• 11:1711:17, 15 July 2009 diff hist 0 File:03 install dialog.png uploaded a new version of "Image:03 install dialog.png" current

13 July 2009

• 12:3612:36, 13 July 2009 diff hist +45 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Installing the Plugin
• 12:3012: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:2712: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:2012:20, 13 July 2009 diff hist −3 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Create a new Project
• 12:1812:18, 13 July 2009 diff hist 0 N File:08 eclipse navigator.png No edit summary current
• 12:1512:15, 13 July 2009 diff hist +120 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Create a new Project
• 12:1212:12, 13 July 2009 diff hist +6 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Create a new Project
• 12:1012:10, 13 July 2009 diff hist 0 N File:07 apcocoa project.png No edit summary current
• 12:0812:08, 13 July 2009 diff hist +5 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Configure Eclipse
• 12:0612:06, 13 July 2009 diff hist 0 N File:06 setting apcocoa paths.png No edit summary current
• 12:0412:04, 13 July 2009 diff hist +3 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Configure Eclipse
• 12:0112:01, 13 July 2009 diff hist +6 ApCoCoA-1:HowTo:Install and Work with the Eclipse GUI →Installing the Plugin