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
Download Files (local site)POSIT (primary FTP site)
This page last modified on 2008-07-10