ssolveB

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