add requirements.txt

borzacchiello · borzacchiello · commit 4e94307b1814 · 2022-01-24T23:07:59.000+01:00
diff --git a/plugin.json b/plugin.json
@@ -25,7 +25,6 @@
       "Linux": "Install `z3-solver` using pip: `pip install z3-solver`"
    },
    "dependencies": {
-		"pip": ["z3-solver"],
 		"apt": [],
 		"installers": [],
 		"other": []
diff --git a/requirements.txt b/requirements.txt
@@ -0,0 +1 @@
+z3-solver
