diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-09-29 14:43:19 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-09-29 14:43:19 -0700 |
commit | 6b17f515ed5237100333eb35e20a4b7d49ce2bed (patch) | |
tree | 155f9d07b7062495a72947de197e6497462caf04 /COPYING | |
parent | b48120e1c224208eaef28f86e77830f211852f9b (diff) |
Add license information for GMP
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -218,6 +218,9 @@ Their copyright: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +CVC4 links against The GNU Multiple Precision Arithmetic Library. It is +licensed under GNU LGPL v3. See GMP-LICENSE for a copy of the license. + CVC4 can be optionally configured to link against CLN, the Class Library for Numbers, available here: |