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:
Please sign and return to firstname.lastname@example.org
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.