The OKlibrary: A generative research platform for (generalised) SAT solving
Oliver Kullmann · 2008
The OKlibrary is introduced, an active library supporting research and development in the area of generalised SAT-solving, available at http://www. ok-sat-library.org. We discuss motivation and architecture of the library, and outline its current extend. A key idea is the notion of “generalised satisfiability problems” as a generalisation of SAT towards CSP, and we discuss the basic ideas.