|
Applications
|
2011-11-22
|
Oliver Kullmann
|
[923b66]
Merge branch 'master' of github.com:OKullmann/o...
|
|
Buildsystem
|
2012-02-19
|
Oliver Kullmann
|
[8f7fd6]
Release 00143
|
|
Combinatorics
|
2011-09-04
|
Oliver Kullmann
|
[bcf785]
Resolved Boost linking-error: regex needs to be...
|
|
ComputerAlgebra
|
2012-02-19
|
Oliver Kullmann
|
[a39584]
Merge branch 'oksolver_script' of git://github....
|
|
Concepts
|
2011-05-19
|
Matthew Gwynne
|
[fef55a]
Merge branch 'master' of git://github.com/OKull...
|
|
DataStructures
|
2011-04-22
|
Oliver Kullmann
|
[d3c33c]
Merge branch 'master' of git://github.com/MHend...
|
|
Experimentation
|
2012-02-19
|
Oliver Kullmann
|
[25dadc]
Arguments by OK for always using NA, and never ...
|
|
General
|
2011-04-22
|
Oliver Kullmann
|
[d3c33c]
Merge branch 'master' of git://github.com/MHend...
|
|
Logic
|
2010-11-02
|
Matthew Gwynne
|
[c8215c]
Merge /home/csmg/Work/OKlibrary/Tests/OKlib int...
|
|
LogicalReflection
|
2008-01-16
|
Oliver Kullmann
|
[bb3be7]
Merge branch 'master' of /h/21/GemeinsameBasis/...
|
|
OKsolver
|
2011-05-19
|
Matthew Gwynne
|
[fef55a]
Merge branch 'master' of git://github.com/OKull...
|
|
Optimisation
|
2008-01-16
|
Oliver Kullmann
|
[bb3be7]
Merge branch 'master' of /h/21/GemeinsameBasis/...
|
|
Programming
|
2011-12-11
|
Oliver Kullmann
|
[c11738]
Improved documentation and improved handling of...
|
|
Satisfiability
|
2012-02-19
|
Oliver Kullmann
|
[b7d979]
Editorial correction.
|
|
Statistics
|
2011-12-15
|
Oliver Kullmann
|
[7f49c6]
Merge branch 'experimental_results' of git://gi...
|
|
Structures
|
2011-11-08
|
Oliver Kullmann
|
[42f831]
Update of plans on subsumption-elimination at C...
|
|
System
|
2011-12-10
|
Oliver Kullmann
|
[a425da]
Removed trailing whitespace; this should be don...
|
|
TestExecutionTools
|
2010-11-02
|
Matthew Gwynne
|
[c8215c]
Merge /home/csmg/Work/OKlibrary/Tests/OKlib int...
|
|
TestSystem
|
2011-04-22
|
Oliver Kullmann
|
[bae4fa]
Merge branch 'externalsources2' of git://github...
|
|
Visualisation
|
2010-11-02
|
Matthew Gwynne
|
[c8215c]
Merge /home/csmg/Work/OKlibrary/Tests/OKlib int...
|
|
annotations
|
2011-09-08
|
Oliver Kullmann
|
[74addf]
Added documentation on how to produce the rando...
|
|
demos
|
2009-02-20
|
Oliver Kullmann
|
[afd85a]
Replaced every string "Transitional" by "OKlib".
|
|
docus
|
2009-02-20
|
Oliver Kullmann
|
[afd85a]
Replaced every string "Transitional" by "OKlib".
|
|
plans
|
2012-02-17
|
Oliver Kullmann
|
[a8a972]
Update tickets MG.
|
|
traits
|
2010-11-02
|
Matthew Gwynne
|
[c8215c]
Merge /home/csmg/Work/OKlibrary/Tests/OKlib int...
|
|
.gitignore
|
2008-09-15
|
Oliver Kullmann
|
[534a88]
Merge branch 'master' of /h/21/GemeinsameBasis/...
|
