add backend for zchaff
[satlib.git] / 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