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