3Dvis - A Tool for 3D-Visualization of SAT-Instances
3Dvis is a tool to visualize graphs of SAT-instances in 3D.
It uses a multilevel force-directed layout algorithm due to
Walshaw.
Download
A Linux version of 3Dvis is available for download.
A Mac OS X version of 3Dvis is available
on request.
Source-code of Linux version.
(c) Carsten Sinz, 2006