Debian logoDebian Screenshots >

cvc4

automated theorem prover for SMT problems

Description

Sorry - no more information available.


Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

http://cvc4.cs.stanford.edu/web/


Statistics

609 other people were interested in this package here. The newest known version of this software is 1.6-2+b2 (Information last updated about 8 hours ago.)