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