libs/ezsat/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 ============
  12 Introduction
  13 ============
  14
  15 This library acts as a frontend to SAT solvers and a helper for generating
  16 CNF for sat solvers. It comes with bindings for MiniSAT (http://minisat.se/).
  17
  18 Have a look at demo_bit.cc and demo_vec.cc for examples of how to set up
  19 a SAT problem using ezSAT. Have a look at puzzle3d.cc for a more complex
  20 (real-world) example of using ezSAT.
  21
  22
  23 C++11 Warning
  24 -------------
  25
  26 This project is written in C++11. Use appropriate compiler switches to compile
  27 it. Tested with clang version 3.0 and option -std=c++11. Also tested with gcc
  28 version 4.6.3 and option -std=c++0x.
  29