diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-10-12 01:01:10 +0100 |
|---|---|---|
| committer | Aristid Breitkreuz <aristidb@gmail.com> | 2014-10-12 16:21:02 +0200 |
| commit | fe1d8d0015c81451f5ed18f690ec331eccd24879 (patch) | |
| tree | a57814ae76bd7cab0a7e9de107406cef8a4a308c /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | af7cb557fb418784533cb999a40ced7943956130 (diff) | |
cvc4: new derivation
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.
Homepage: http://cvc4.cs.nyu.edu/web/
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions