The Algorithm Design Manual
About the Book
Programming Challenges

The Stony Brook Algorithm Repository

Steven Skiena
Stony Brook University
Dept. of Computer Science

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 in /pub/freeman/posit-1.0.tar.Z.

  • Download Files (local site)
  • POSIT (primary FTP site)

    Problem Links

    Satisfiability (5)

    This page last modified on 2008-07-10 .