lingeling/readme.txt

   1 Lingeling SAT Solver Version ayv-86bf266-140429
   2
   3 ./configure && make
   4
   5 This software is copyright 2010-2013, Armin Biere, JKU, Linz.
   6
   7 This is only a restricted release of this software.
   8
   9 See 'COPYING' for more details on the permission to use this software.
  10
  11 All rights are reserved.  No warranty is implied.
  12
  13 Armin Biere