Download Decomposition-SAT from Official Microsoft Download Center

Hands type on a Surface Pro 6 with Type Cover

New Surface Pro 6

Stand out from the ordinary

Decomposition-SAT

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:
English
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.