Debian logoDebian Screenshots >

libcvc3-5

Automatic theorem prover library 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://www.cs.nyu.edu/acsys/cvc3/


Statistics

627 other people were interested in this package here. The newest known version of this software is 2.4.1-5.2 (Information last updated 1 day ago.)