Introduction

The aim of that document is to allow Java programmers to make the best use of Sat4j by following on sample test cases how Sat4j designers are using the library.

The reader is expected to have a basic knowledge of Java and object oriented programming (knowing design patterns would certainly help understanding Sat4j architecture) and propositional logic.

The following examples have been tested with Sat4j 2.3.5 released on May 25, 2013 and latest development release (2.3.6-SNAPSHOT).

The document is a work on progress until we cover the whole set of features of Sat4j. Comments about that document and ideas to improve it are welcome.