This website requires JavaScript.
Explore
Help
Sign In
rpms
/
cvc4
Watch
3
Star
0
Fork
0
You've already forked cvc4
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
30
Commits
23
Branches
0
Tags
Go to file
Code
Clone
HTTPS
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
Kalev Lember
87a98e5130
Rebuilt for Boost 1.63
2017-02-07 14:27:33 +01:00
.gitignore
New upstream release.
2015-01-02 16:57:48 -07:00
cvc4-abc.patch
New upstream release.
2015-01-02 16:57:48 -07:00
cvc4-boolean.patch
Add -boolean, -minisat, and -signed patches to fix test failures.
2015-03-11 22:26:03 -06:00
cvc4-doxygen.patch
New upstream release.
2015-01-02 16:57:48 -07:00
cvc4-minisat.patch
Add -boolean, -minisat, and -signed patches to fix test failures.
2015-03-11 22:26:03 -06:00
cvc4-signed.patch
Add -boolean, -minisat, and -signed patches to fix test failures.
2015-03-11 22:26:03 -06:00
cvc4.spec
Rebuilt for Boost 1.63
2017-02-07 14:27:33 +01:00
sources
New upstream release.
2015-01-02 16:57:48 -07:00
Description
Clone of
https://src.fedoraproject.org/rpms/cvc4
126
KiB
Languages
Diff
100%
