OKlibrary Code

Research platform for SAT and other hard problems

Status: Pre-Alpha

Brought to you by: xgateruq9

Tree [8f7fd6] master / History

File	Date	Author	Commit
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/...

File

Date

Author

Commit

Applications

2011-11-22

Oliver Kullmann