An algorithmic platform for efficient satisfiability-based problem solving

Main local index page

Current version: 0.2.1.6 (8.3.2011).
Internet home page with affiliated mailing lists.

Aims and history

The general aims of the library	click
The history of the development of the library	click
Licence and copyright discussion	click
The developers of the library	click

Getting started

Please at least skim through the previous section on aims and history.
Then the Tutorial should give you the first hints (and links).
The Frequently Asked Questions might answer some of your general questions.
Now you should be ready to dive into the documentation, and to investigate the external sources (both below).

Documentation

The html documentation (automatically extracted by the doxygen system)	click
The main text on the library (with fundamental guidelines how to use the library, and how to contribute to it)	click
The root of the docus system	click
The root of the demos system	click

External sources

Overview on supported external sources

Research topics

Many investigations take place in the context of the OKlibrary.
Once they are are identified as "strands", in super-module Experimentation/Investigations overviews and links are provided.
Special topics:
- The Ten Challenges for (core) SAT solving.
- Ramsey Theory and SAT

Automatically created by the OKbuildsystem on Thu, 02 Feb 2012, 21:19:20 +0000.

Oliver Kullmann