cvc4-devel - Headers and other files for developing with cvc4
| Website: | http://cvc4.cs.nyu.edu/web/ |
|---|---|
| License: | GPLv3+ |
- Description:
Header files and library links for developing applications that use cvc4.
Packages
| cvc4-devel-1.4-3.fc22.soc.x86_64 [152 KiB] |
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 |