COPYING - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

index : cvc5.git

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

git repository hosting

summary refs log tree commit diff

path: root/COPYING

blob: bbfaa52585f07d599ee8613afd85a1536ffe2f25 (plain)

CVC4 is copyright (C) 2009 the ACSys research group at the Courant
Institute for Mathematical Sciences, New York University.
All rights reserved.

This is a prerelease version; distribution is restricted.

-- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 02 Nov 2009 17:54:27 -0500

generated by cgit on debian on lair

contact matthew@masot.net with questions or feedback