MiniSAT - An extensible SAT-solver developed by Niklas Sörensson and Niklas Eén

Examples of SAT visualizations (instances from bounded model checking, planning, software verification)

Papers on SAT visualization:

• C. Sinz: Visualizing the Internal Structure of SAT Instances (unpublished)
• A. Slater: Visualisation of Satisfiability Problems using Connected Graphs

yFiles: Graph layout software developed by yWorks used in DPvis

Contact:

Carsten Sinz
WSI for Computer Science
University of Tübingen
Germany

sinz@informatik.uni-tuebingen.de
http://www-sr.informatik.uni-tuebingen.de/~sinz