ssolveC

Submitter: Rainer Feldmann
Description: ssolve with some new (as compared to 2007) features: -- ssolve as in 2007 with some minor changes regarding inverting quaitifiers, and tests for trivial truth and trivial falsity.
Results: