Important! Selecting a language below will dynamically change the complete page content to that language.
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation. Last published: April 23, 2014.
-
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.
Supported Operating System
Windows 10, Windows 7, Windows 8
-
- Windows 7, Windows 8, or Windows 10
-
- Click Download and follow the instructions.