Overview Download References/Contact
There are two versions of DPvis you can choose from: an on-line version and a download version.
A. DPvis Java Applet

(On-Line Version)

Basic functionality:

  • Generate variable interaction graphs with different layout schemes
  • Set/reset variables with subsequent, animated unit propagation
  • Visualization of manually generated search trees
  • Integrated basic DPLL algorithm with simple variable selection heuristics

No local installation needed.
B. DPvis Java Application

(Download Version)

Full, extended functionality:

  • Integrated MiniSAT solver allows tracing of automatically generated DPLL runs
  • Load and save CNF files
  • Export generated graph layouts

Pre-compiled versions (including modified MiniSAT) are available for the following platforms:

A. Windows 2000/XP
B. Linux
C. Solaris
D. Mac OS X
C. DPvis Manual

Instructions on how to make use of the functionality offered by DPvis can be found here: (preliminary version)