glucose-syrup/README

   1 Directory overview:
   2 ==================
   3
   4 mtl/            Minisat Template Library
   5 core/           A core version of the solver glucose (no main here)
   6 simp/           An extended solver with simplification capabilities
   7 parallel/       A multicore version of glucose
   8 README
   9 LICENSE
  10 Changelog
  11
  12 To build (release version: without assertions, statically linked, etc):
  13 ======================================================================
  14 Like minisat....
  15
  16 cd { simp | parallel }
  17 make rs
  18
  19 Usage:
  20 ======
  21
  22 in simp directory:      ./glucose --help
  23
  24 in parallel directory:  ./glucose-syrup --help