• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..03-Dec-2021-

.gitignoreH A D03-Dec-202146 65

MakefileH A D03-Dec-2021642 3119

READMEH A D03-Dec-20211.2 KiB3021

demo_bit.ccH A D03-Dec-20212.4 KiB7237

demo_cmp.ccH A D03-Dec-20214.5 KiB147101

demo_vec.ccH A D03-Dec-20213.5 KiB11370

ezminisat.ccH A D03-Dec-20215.9 KiB249191

ezminisat.hH A D03-Dec-20212 KiB7241

ezsat.ccH A D03-Dec-202138.8 KiB1,5821,312

ezsat.hH A D03-Dec-202114.2 KiB360235

puzzle3d.ccH A D03-Dec-20218.8 KiB296226

puzzle3d.scadH A D03-Dec-20211.9 KiB8375

testbench.ccH A D03-Dec-202111.1 KiB442314

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