diff options
| -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" } ] |