A research platform and active library for generalised SAT solving
C++ C Makefile Shell TeX R Other
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Applications Improved explanation. Aug 28, 2012
Buildsystem Typo. Jun 15, 2018
Combinatorics Resolved Boost linking-error: regex needs to be linked (in these cases). Sep 4, 2011
ComputerAlgebra Completed data from basic enumeration. Aug 14, 2018
Concepts Editorial updates. May 2, 2011
DataStructures Converted boost::size to boost::distance. Nov 2, 2010
Experimentation Updates. May 25, 2017
General Updated OKlibrary for use with boost-1_44_0. Nov 2, 2010
Logic Updates on plans for finite model theory. May 4, 2009
LogicalReflection Supplied all parts with central docus-files. Jan 15, 2008
OKsolver Editorial updates. May 2, 2011
Optimisation Supplied all parts with central docus-files. Jan 15, 2008
Programming Further use of boost-system. Oct 8, 2012
Satisfiability Correction: can now be called in arbitrary directory. Aug 19, 2018
Statistics Improved function for displaying seconds. May 17, 2018
Structures Update of plans on subsumption-elimination at C++ level. Nov 8, 2011
System Removed trailing whitespace; this should be done when working on a file. Dec 10, 2011
TestExecutionTools Update reference to Boost include- and link-libraries. Apr 30, 2009
TestSystem When run with valgrind, then we have a timing-deviation. Jan 10, 2011
Visualisation On R packages for drawing graphs. Feb 18, 2010
annotations Added documentation on how to produce the random pieces of include-gu… Sep 8, 2011
demos Replaced every string "Transitional" by "OKlib". Feb 20, 2009
docus Replaced every string "Transitional" by "OKlib". Feb 20, 2009
plans Update tickets MG. May 13, 2012
traits Update reference to Boost include- and link-libraries. Apr 30, 2009
.gitignore Basic git-ignore patterns (for the OKlibrary and a standard Linux env… Sep 15, 2008