Download Decomposition-SAT from Official Microsoft Download Center

A Surface Pro

Surface Pro

The most versatile laptop

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.