ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-25 14:48:25 +03:00
Code Issues Projects Releases Wiki Activity
6e8a9b8145
nixpkgs/pkgs/applications/science/logic/cvc4
History
Vincent Laporte fe1d8d0015 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/
2014-10-12 16:21:02 +02:00
..
default.nix cvc4: new derivation 2014-10-12 16:21:02 +02:00