OKlibrary  0.2.1.6
Picosat.hpp File Reference

Documentation on how to build and use Picosat. More...

Go to the source code of this file.


Detailed Description

Documentation on how to build and use Picosat.

Installing Picosat

On the purpose of Picosat

Picosat is an conflict-driven SAT solver. It also provides a variety of specialised functionality including the production of UNSAT proof traces.

What the installation yields

  • The SAT solver, accessible via picosat913.
  • Some documentation in directory /home/csoliver/OKplatform/system_directories/doc/internet_html/doc/doc/SAT/Picosat/picosat-913.

Current state of installation

  • Recommended version = 913
  • Path to the executable:
    1. picosat program call = /home/csoliver/OKplatform/ExternalSources/Installations/SAT/Picosat/913/picosat
    2. A symbolic link is provided in the public bin-directory (/home/csoliver/OKplatform/bin).
  • Checking the installation:
    • Ready: YES
    • location = /home/csoliver/OKplatform/ExternalSources/Installations/SAT/Picosat/913/picosat
    • version = 913

How to install

Make targets

picosat Build the recommended version of picosat, using the local gcc.
cleanpicosat Remove the build directory.
cleanallpicosat Remove build, installation and documentation directory.

Configuration

  • To install a different version, set variable picosat_recommended_version_number_okl accordingly.

Usage

  • Use picosat filename (where, as usual, "filename" is a SAT-instance in DIMACS format).

Definition in file Picosat.hpp.