Decomposition-SAT

A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.

Details

TypeDownload
File NameDeSAT.zip
Version1.0
Date Published23 April 2014
Download Size0.15 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.