backends/minisat/README

   1 Directory overview:
   2 ==================
   3
   4 mtl/            Mini Template Library
   5 core/           A core version of the solver
   6 simp/           An extended solver with simplification capabilities
   7 README
   8 LICENSE
   9
  10 To build (release version: without assertions, statically linked, etc):
  11 ======================================================================
  12
  13 cd { core | simp }
  14 gmake rs
  15
  16 Usage:
  17 ======
  18
  19 TODO