README
1
2 **************************************************************************
3 * *
4 * The ezSAT C++11 library *
5 * *
6 * A simple frontend to SAT solvers with bindings to MiniSAT. *
7 * by Claire Xenia Wolf *
8 * *
9 **************************************************************************
10
11============
12Introduction
13============
14
15This library acts as a frontend to SAT solvers and a helper for generating
16CNF for sat solvers. It comes with bindings for MiniSAT (http://minisat.se/).
17
18Have a look at demo_bit.cc and demo_vec.cc for examples of how to set up
19a SAT problem using ezSAT. Have a look at puzzle3d.cc for a more complex
20(real-world) example of using ezSAT.
21
22
23C++11 Warning
24-------------
25
26This project is written in C++11. Use appropriate compiler switches to compile
27it. Tested with clang version 3.0 and option -std=c++11. Also tested with gcc
28version 4.6.3 and option -std=c++0x.
29
30