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: | |||
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: | |||