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