CVC4 Contributor License Agreements

All contributors to CVC4 must sign an individual Contributor License Agreement (CLA).  In addition, if you are contributing as part of your employment at a corporate or academic institution, you must ensure that you either have permission to sign the individual CLA from your institution or that your institution is willing to sign an entity CLA.

Links can be found here:

Individual CLA

Entity CLA

Please sign and return to cvc4-devel-owner@cs.nyu.edu

Note that these CLAs do not permit you to submit any code which you did not author yourself.  If you wish to submit code owned by someone else (e.g. a third-party library), please contact one of the project leaders.

Fork me on GitHub