diff --git a/setup.cfg b/setup.cfg index e742ded..307f5cf 100644 --- a/setup.cfg +++ b/setup.cfg @@ -8,7 +8,7 @@ project_urls = Documentation = https://ddsmt.readthedocs.io/ Source Code = https://github.com/ddsmt/ddSMT author = The authors of ddSMT -license = GPL +license = MIT license_file = LICENSE description = A delta debugger for SMT-LIBv2 files long_description = file: README.rst