ssolve-A
Submitter: | Rainer Feldmann | ||
Description: | ssolve with some new (as compared to 2007) features: -- computes and uses quantifier trees -- uses splitting clause sets -- uses picosat (by A. Biere) to solve SAT-formulas | ||
Results: | |||
Submitter: | Rainer Feldmann | ||
Description: | ssolve with some new (as compared to 2007) features: -- computes and uses quantifier trees -- uses splitting clause sets -- uses picosat (by A. Biere) to solve SAT-formulas | ||
Results: | |||