cvc4-libs - Library containing an automatic theorem prover for SMT problems
| Website: | http://cvc4.cs.nyu.edu/web/ |
|---|---|
| License: | GPLv3+ |
- Description:
Library containing the core of the cvc4 automatic theorem prover for SMT problems.
Packages
| cvc4-libs-1.4-3.fc22.soc.x86_64 [2.8 MiB] |
Changelog
by Jerry James (2015-03-20):
- Don't use perftools at all due to random weirdness on multiple platforms - Also Obsoletes/Provides lfsc-devel |