POSIT - Propositional Satisfiability Testbed
The propositional satisfiability tester POSIT, by Jon W. Freeman,
is based on a highly optimized version of the Davis-Putnum procedure.
It is available by anonymous ftp from ftp.cis.upenn.edu
in /pub/freeman/posit-1.0.tar.Z.
Download Files (local site)POSIT (primary FTP site)
Problem Links
This page last modified on 2008-07-10
.
www.algorist.com