add smt

SMTorg · Sep 17, 2024 · f3995e8 · f3995e8
1 parent 26a9daf
commit f3995e8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/requirements.txt b/requirements.txt
@@ -11,3 +11,4 @@ pytest-cov      # allows to get coverage report
 ruff            # format and lint code
 jenn >= 1.0.2, <2.0
 egobox ~= 0.20.0
+smt