cvc4-java - Java interface to cvc4
| Website: | http://cvc4.cs.nyu.edu/web/ |
|---|---|
| License: | GPLv3+ |
- Description:
Java interface to cvc4.
Packages
| cvc4-java-1.4-3.fc22.soc.x86_64 [522 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 |