1 files changed, 3 insertions, 0 deletions
diff --git a/COPYING b/COPYING
index b251f6c77..1cd650bec 100644
--- a/COPYING
+++ b/COPYING
@@ -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: