_______________________________________________________________________________

Practical SAT -- A tutorial on applied satisfiability solving

Niklas Een

FMCAD, November 11, 2007
_______________________________________________________________________________

The presentation consists of four binaries compiled for Cygwin/X11, and one
piece of source code:

    PracticalSAT    -- Views the slides. Will provide documentation upon run.
    MiniSat_demo    -- Shows inner workings of MiniSat.
    MiniSat_viz     -- Visualizes certain key parameters of the SAT run.
    SatELite_demo   -- Demonstrates CNF preprocessing.
    OptSynth        -- Source code for a program solving the synthesis problem
                       discussed in the slides using MiniSat.

Please view the README files for more information on how to use the three
latter programs. Suggested runs:

    MiniSat_demo small1.cnf
    MiniSat_viz pico_25.cnf.gz
    SatELite_demo    (no arguments, but make the terminal BIG before running)

// Niklas Een (Nov 20, 2007)
