diff options
| author | Ico Doornekamp <github@zevv.nl> | 2019-02-08 21:52:18 +0100 |
|---|---|---|
| committer | Miran <narimiran@disroot.org> | 2019-02-08 21:52:18 +0100 |
| commit | 9c3ee00f44e59464d33e4bab395ce090f7b33c1c (patch) | |
| tree | 927b2dfa716970e74d1155be9f824927a18c1c94 | |
| parent | 01d8bed1adff971fde287423d8b2fd9e3009aadd (diff) | |
| download | packages-9c3ee00f44e59464d33e4bab395ce090f7b33c1c.tar.gz packages-9c3ee00f44e59464d33e4bab395ce090f7b33c1c.zip | |
Added package z3 (#1006)
| -rw-r--r-- | packages.json | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/packages.json b/packages.json index 9f8bb8c..3f42c4a 100644 --- a/packages.json +++ b/packages.json @@ -12653,5 +12653,22 @@ "description": "A compact dictionary implementation", "license": "MIT", "web": "https://github.com/LemonBoy/compactdict" + }, + { + "name": "z3", + "url": "https://github.com/zevv/nimz3", + "method": "git", + "tags": [ + "Z3", + "sat", + "smt", + "theorem", + "prover", + "solver", + "optimization" + ], + "description": "Nim Z3 theorem prover bindings", + "license": "MIT", + "web": "https://github.com/zevv/nimz3" } ] |