From 3371563f2f14ce0d6bc7798d0fc802b54aae93c8 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 7 Jun 2013 10:38:35 +0200 Subject: Added ezSAT library --- libs/ezsat/README | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 libs/ezsat/README (limited to 'libs/ezsat/README') diff --git a/libs/ezsat/README b/libs/ezsat/README new file mode 100644 index 000000000..c6745e6cf --- /dev/null +++ b/libs/ezsat/README @@ -0,0 +1,29 @@ + + ************************************************************************** + * * + * The ezSAT C++11 library * + * * + * A simple frontend to SAT solvers with bindings to MiniSAT. * + * by Clifford Wolf * + * * + ************************************************************************** + +============ +Introduction +============ + +This library acts as a frontend to SAT solvers and a helper for generating +CNF for sat solvers. It comes with bindings for MiniSAT (http://minisat.se/). + +Have a look at demo_bit.cc and demo_vec.cc for examples of how to set up +a SAT problem using ezSAT. Have a look at puzzle3d.cc for a more complex +(real-world) example of using ezSAT. + + +C++11 Warning +------------- + +This project is written in C++11. Use appropriate compiler switches to compile +it. Tested with clang version 3.0 and option -std=c++11. Also tested with gcc +version 4.6.3 and option -std=c++0x. + -- cgit v1.2.3