Description
cvc4 (a first-order theorem prover and SMT solver)
Distribution | Slackware 14.2 |
Repository | Slackonly |
Package name | |
Package simple name | cvc4 |
Package Link | http://packages.slackonly.com/pub/packages/14.2-x86_64/./academic/cvc4/cvc4-1.7-x86_64-2_slonly.txz |
Package size (compressed) | 4900 K |
Package size (uncompressed) | 20400 K |