PKG=LNFzchaff ARCH=x86_64 VERSION=2008.10.12.1 SERIALNUM=001 NAME=SAT solver zChaff CATEGORY=develop,application EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de VENDOR=http://theo.iks.cs.ovgu.de/ BASEDIR=/usr DESC=zChaff is a SAT solver which implements the well known Chaff algorithm. LICINFO=Princeton University - non-commercial use, only LICURL=https://www.princeton.edu/~chaff/zchaff/COPYRIGHT PSTAMP=jammy20230713144057 CLASSES=none