diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:51:35 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:51:35 +0000 |
| commit | 92a3056849a5cb9d9224e5c2fe7a27772693b634 (patch) | |
| tree | 35a301984b56f85fa5e2b6e7437dedda5fa2a61c /sci-mathematics/spass | |
| parent | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. (diff) | |
| download | gentoo-2-92a3056849a5cb9d9224e5c2fe7a27772693b634.tar.gz gentoo-2-92a3056849a5cb9d9224e5c2fe7a27772693b634.tar.bz2 gentoo-2-92a3056849a5cb9d9224e5c2fe7a27772693b634.zip | |
Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.
(Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/spass')
0 files changed, 0 insertions, 0 deletions