The OKlibrary: Introducing a "Holistic" Research Platform for (Generalised) SAT Solving
Oliver Kullmann · 2009
The OKlibrary is introduced, an open-source library supporting research and development in the area of generalised SAT-solving, and available at http://www. ok-sat-library. org. We discuss history, motivation and architecture of the library, and outline its current extent. The differences to existing platforms are explained: We understand the approach of the OKlibrary as ＜||＞holistic＜||＞, so that the OKlibrary includes for example not only program code, but also research plans and methods for processing and evaluation of experiments (as well as experimental results themselves). This leads to the understanding of the OKlibrary as an ＜||＞IRE＜||＞, an ＜||＞integrated research environment＜||＞ (however not building a single monolithic block, but based on the UnixlLinux tradition of a ＜||＞tool chest＜||＞). ＜||＞Generalised satisfiability problems＜||＞ are understood as a generalisation of SAT towards CSP, and we discuss the basic ideas. To conclude we state 10 research problems which we regard as fundamental for advancing core SAT solving.