OKlibrary  0.2.1.6
Module versions
File milestones.hpp
Applications/Cryptanalysis 0.0.4 (25.7.2007)
File milestones.hpp
Annotations 0.1 (26.11.2008)
File milestones.hpp
GraphDrawing 0.0.2 (30.8.2006)
File milestones.hpp
TestSystem 0.1.3 (6.2.2007)
File milestones.hpp
LegalIssues 0.0.7 (24.1.2010)
File milestones.hpp
ComplexitySystem 0.0.2 (25.6.2006)
File milestones.hpp
Structures/Sets/SetAlgorithms 0.3.2 (8.3.2011)
File milestones.hpp
Structures 0.0.6 (8.3.2011)
File milestones.hpp
NumberTheory/BigIntegers 0.0.2 (23.8.2007)
File milestones.hpp
BigIntegers/concepts 0.0.4 (23.8.2007)
File milestones.hpp
LinearAlgebra/Matrices 0.1.1 (8.12.2007)
File milestones.hpp
Structures/Cryptology 0.0.8 (27.8.2007)
File milestones.hpp
Satisfiability/Variations 0.0.2 (29.1.2008)
File milestones.hpp
Transformers/SATModuloTheories 0.0.2 (18.11.2007)
File milestones.hpp
Satisfiability/Transformers 0.0.4.2 (28.11.2010)
File milestones.hpp
Transformers/LadderLogic 0.0.3 (18.11.2007)
File milestones.hpp
Transformers/Generators 0.0.8 (28.11.2010)
File milestones.hpp
Transformers/CrispCSP 0.0.3 (18.11.2007)
File milestones.hpp
Satisfiability/SpecialStructures 0.0.3.1 (19.2.2009)
File milestones.hpp
Satisfiability/SpecialStructures/HittingClauseSets 0.0.2 (6.11.2006)
File milestones.hpp
Satisfiability/Solvers/Satz 0.6 (22.5.2013)
File milestones.hpp
Satisfiability/Solvers 0.2.2.3 (22.5.2013)
File milestones.hpp
OKsolver/SAT2002 0.9.9 (29.8.2011)
File milestones.hpp
OKsolver 0.5.1.4 (29.8.2011)
File milestones.hpp
Satisfiability/Reductions 0.0.4.5 (21.1.2011)
File milestones.hpp
Reductions/FailedLiteralReduction 0.0.5 (19.5.2010)
File milestones.hpp
Satisfiability/Reductions/Bases 0.0.9 (21.1.2011)
File milestones.hpp
Satisfiability/Quantification 0.0.3 (29.1.2008)
File milestones.hpp
ProofSystems/Resolution 0.0.3 (22.5.2007)
File milestones.hpp
Satisfiability/ProofSystems 0.0.3 (28.1.2008)
File milestones.hpp
ProblemInstances/Variables 0.0.6 (17.11.2007)
File milestones.hpp
Satisfiability/ProblemInstances 0.0.2.2 (17.11.2007)
File milestones.hpp
ProblemInstances/Literals 0.0.4 (17.11.2007)
File milestones.hpp
ProblemInstances/Conditions 0.0.2 (28.9.2007)
File milestones.hpp
Conditions/AtomicConditions 0.0.3 (28.9.2007)
File milestones.hpp
Satisfiability/ProblemInstances/ActiveClauseSets/LinearInequalities 0.0.4 (11.6.2007)
File milestones.hpp
Satisfiability/ProblemInstances/ActiveClauseSets/Equivalences 0.0.2 (1.9.2006)
File milestones.hpp
ActiveClauses/InjectivityConstraints 0.0.3 (26.9.2007)
File milestones.hpp
OKlib/Satisfiability 0.1.1.2 (2.5.2011)
File milestones.hpp
Satisfiability/Optimisation 0.0.2 (28.1.2008)
File milestones.hpp
Satisfiability/Interfaces 0.0.7.1 (19.1.2012)
File milestones.hpp
Interfaces/InputOutput 0.1.1.2 (31.8.2011)
File milestones.hpp
Heuristics/StructureRecognition 0.0.2 (8.9.2007)
File milestones.hpp
Heuristics/StatisticalAnalysis 0.0.4 (8.7.2007)
File milestones.hpp
Heuristics/Projections 0.0.2 (24.1.2008)
File milestones.hpp
Satisfiability/Heuristics 0.0.2 (24.1.2008)
File milestones.hpp
Satisfiability/FiniteFunctions 0.1 (8.1.2011)
File milestones.hpp
Satisfiability/Enumeration 0.0.3 (19.1.2008)
File milestones.hpp
Satisfiability/Assignments 0.0.6 (2.5.2011)
File milestones.hpp
Assignments/PartialAssignments 0.0.6 (2.5.2011)
File milestones.hpp
Satisfiability/Algorithms/SumProduct 0.0.3 (21.6.2007)
File milestones.hpp
Satisfiability/Algorithms 0.0.6 (15.3.2009)
File milestones.hpp
Satisfiability/Algorithms/LocalSearch 0.0.5 (25.2.2009)
File milestones.hpp
Satisfiability/Algorithms/Learning 0.0.4 (9.6.2008)
File milestones.hpp
Satisfiability/Algorithms/Backtracking 0.0.5 (17.11.2007)
File milestones.hpp
Satisfiability/Algorithms/Backdoors 0.0.3
File milestones.hpp
Autarkies/Search 0.0.7 (27.2.2008)
File milestones.hpp
Algorithms/Autarkies 0.0.5 (16.1.2009)
File milestones.hpp
Algorithms/Autarkies/MatchingAutarkies 0.0.2 (21.3.2008)
File milestones.hpp
Algorithms/AllSolutions 0.0.3 (22.6.2007)
File milestones.hpp
Programming/Utilities/OrderRelations 0.0.8 (22.12.2007)
File milestones.hpp
Programming/SystemSpecifics 0.0.2 (19.12.2007)
File milestones.hpp
Programming/Sequences 0.0.6 (9.9.2007)
File milestones.hpp
Programming/Refactoring 0.0.8 (11.12.2007)
File milestones.hpp
ProgammingProgramOptions 0.0.3 (30.8.2006)
File milestones.hpp
Programming/Parsing 0.0.4 (18.12.2007)
File milestones.hpp
Programming/Parallelism 0.0.4 (16.10.2007)
File milestones.hpp
Programming/MetaProgramming 0.1.1 (22.12.2007)
File milestones.hpp
Programming/Messages/Utilities 0.0.7 (13.1.2007)
File milestones.hpp
Programming/Messages version 0.7.5 (19.12.2007)
File milestones.hpp
Programming/Iterators 0.0.6 (11.12.2007)
File milestones.hpp
Programming/InputOutput 0.1.2 (22.12.2007)
File milestones.hpp
ComplexityTheory 0.0.2 (10.9.2006)
File milestones.hpp
General 0.5 (6.11.2006)
File milestones.hpp
Experimentation/RandomGenerator 0.5.1 (4.12.2008)
File milestones.hpp
Experimentation 0.4.1.1 (8.3.2012)
File milestones.hpp
Experimentation/Investigations 0.3.1 (8.3.2012)
File milestones.hpp
Investigations/Cryptography/DataEncryptionStandard/ 0.1.2 (26.8.2011)
File milestones.hpp
Cryptography/AdvancedEncryptionStandard/Representations 0.1.5 (2.11.2011)
File milestones.hpp
Investigations/Cryptography/AdvancedEncryptionStandard 0.1.5.2 (3.11.2011)
File milestones.hpp
Cryptography/AdvancedEncryptionStandard/KeyDiscovery 0.1 (27.11.2011)
File milestones.hpp
Experimentation/ExperimentSystem/SolverMonitoring 0.0.10 (20.8.2011)
File milestones.hpp
Experimentation/ExperimentSystem 0.1.2.1 (20.8.2011)
File milestones.hpp
ExperimentSystem/ControllingLocalSearch 0.3.1 (25.11.2010)
File milestones.hpp
Experimentation/Database 0.3.1 (23.8.2007)
File milestones.hpp
Competition/TwoSolverComparison 0.0.8 (7.6.2010)
File milestones.hpp
Experimentation/Competition 0.5.0.3 (7.6.2010)
File milestones.hpp
DataStructures/Search 0.0.8 (15.1.2008)
File milestones.hpp
Concepts 0.1.2 (2.4.2007)
File milestones.hpp
ComputerAlgebra/Satisfiability 0.0.4 (6.10.2007)
File milestones.hpp
Satisfiability/Lisp/Resolution 0.0.8 (20.9.2011)
File milestones.hpp
Satisfiability/Lisp/PropositionalLogic 0.1 (1.1.2010)
File milestones.hpp
Satisfiability/Lisp 0.0.5.3 (29.11.2009)
File milestones.hpp
Lisp/Generators/RamseyTheory 0.0.8 (22.8.2008)
File milestones.hpp
Satisfiability/Lisp/Generators 0.0.8 (29.11.2009)
File milestones.hpp
Satisfiability/Lisp/BranchingTuples 0.0.5 (21.1.2008)
File milestones.hpp
ComputerAlgebra/Satisfiability/Aldor 0.0.1 (7.10.2007)
File milestones.hpp
ComputerAlgebra 0.1.2.4 (9.3.2010)
File milestones.hpp
ComputerAlgebra/NumberTheory/Lisp 0.1.2 (5.8.2011)
File milestones.hpp
ComputerAlgebra/Mupad 0.5 (8.12.2007)
File milestones.hpp
ComputerAlgebra/Hypergraphs 0.0.8 (23.1.2010)
File milestones.hpp
Hypergraphs/Lisp/Generators 0.1.0.1 (23.10.2010)
File milestones.hpp
ComputerAlgebra/Graphs/Lisp 0.1.1 (16.1.2009)
File milestones.hpp
Graphs/Lisp/Bicliques 0.0.5 (16.1.2009)
File milestones.hpp
Graphs/Lisp/BicliquePartitions 0.0.6 (16.1.2009)
File milestones.hpp
ComputerAlgebra/Cryptology 0.0.5.1 (19.2.2008)
File milestones.hpp
ComputerAlgebra/Cryptology/Lisp 0.0.5.3 (19.3.2011)
File milestones.hpp
Lisp/CryptoSystems/Rijndael 0.0.10.2 (31.1.2011)
File milestones.hpp
Cryptology/Lisp/CryptoSystems 0.0.4.2 (31.12.2011)
File milestones.hpp
Cryptology/Lisp/Cryptanalysis 0.0.2 (31.12.2011)
File milestones.hpp
Lisp/Cryptanalysis/Rijndael 0.0.8 (28.7.2011)
File milestones.hpp
Cryptology/Lisp/Cryptanalysis 0.0.3.3 (28.7.2011)
File milestones.hpp
Lisp/Cryptanalysis/DataEncryptionStandard 0.0.2 (1.4.2011)
File milestones.hpp
ComputerAlgebra/Combinatorics 0.0.3 (9.3.2010)
File milestones.hpp
ComputerAlgebra/Combinatorics/Enumeration 0.0.4 (1.3.2010)
File milestones.hpp
ComputerAlgebra/Algebra 0.0.5 (15.6.2008)
File milestones.hpp
ComputerAlgebra/Algebra/Lisp 0.0.5.1 (12.1.2009)
File milestones.hpp
Algebra/Lisp/Groupoids 0.2,0,1 (14.1.2009)
File milestones.hpp
Combinatorics/Hypergraphs/Transversals 0.0.5 (13.6.2009)
File milestones.hpp
Hypergraphs/Transversals/Minimal 0.0.2 (13.6.2009)
File milestones.hpp
Hypergraphs/Transversals/Bounded 0.0.4 (13.6.2009)
File milestones.hpp
Combinatorics/Hypergraphs 0.0.3.3 (13.6.2009)
File milestones.hpp
Combinatorics/Hypergraphs/concepts 0.0.3 (25.9.2007)
File milestones.hpp
Hypergraphs/Colourings 0.0.5 (9.10.2007)
File milestones.hpp
Combinatorics/Graphs/TreeDecompositions 0.0.5 (19.12.2007)
File milestones.hpp
Combinatorics/Graphs 0.0.2 (30.12.2006)
File milestones.hpp
Graphs/Matchings 0.0.2 (8.3.2006)
File milestones.hpp
Graphs/BoostSupport 0.0.4 (22.8.2007)
File milestones.hpp
Combinatorics/Enumeration 0.0.4 (25.9.2007)
File milestones.hpp
Buildsystem/SourceControl 0.2.1.1 (6.6.2008)
File milestones.hpp
Buildsystem/ReleaseProcess 0.0.5.3 (2.5.2011)
File milestones.hpp
Buildsystem 0.2.0.2 (11.5.2010)
File milestones.hpp
Buildsystem/OKlibBuilding/Targets/html 0.1.1 (16.9.2007)
File milestones.hpp
Buildsystem/OKlibBuilding 0.2.1 (16.9.2007)
File milestones.hpp
Buildsystem/MasterScript/SpecialProcessing 0.1.1 (24.1.2011)
File milestones.hpp
Buildsystem/MasterScript 0.0.5.1 (25.1.2011)
File milestones.hpp
Buildsystem/Html 0.0.6.1 (30.1.2009)
File milestones.hpp
Buildsystem/Html/Local 0.1.1.1 (22.8.2008)
File milestones.hpp
Buildsystem/Html/Internet 0.0.5 (30.1.2009)
File milestones.hpp
Buildsystem/ExternalSources/SpecialBuilds 0.2.3.5 (23.8.2011)
File milestones.hpp
Buildsystem/ExternalSources 0.1.2.1 (24.12.2010)
File milestones.hpp
Buildsystem/Configuration 0.0.4.1 (16.9.2007)
File milestones.hpp
Applications/RamseyTheory 0.1.1 (14.6.2009)
File milestones.hpp
QuantumPhysics 0.0.8 (25.9.2006)
File milestones.hpp
LatinSquares 0.0.3 (23.11.2006)