setup.cfg: Change license to MIT.

ddsmt · Apr 22, 2024 · 13decc1 · 13decc1
1 parent bf45290
commit 13decc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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