CLASSES=none
PSTAMP=q20151117070518
LICURL=https://www.princeton.edu/~chaff/zchaff/COPYRIGHT
LICINFO=Princeton University - non-commercial use, only
DESC=Zchaff is an SAT solver which implements the well known Chaff algorithm.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,application
NAME=SAT solver Zchaff
SERIALNUM=001
VERSION=2008.10.12
ARCH=i386
PKG=LNFzchaff