POSIT - Propositional Satisfiability Testbed
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.
POSIT (primary FTP site)
Download Files (local site)
Problem Links
Satisfiability (8)
About the Book
Send us Mail
Go to Main Page
This page last modified on Apr 23, 1997.