logos-messaging/packages
1
0
Fork 0
mirror of https://github.com/logos-messaging/packages.git synced 2026-01-08 17:13:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added package z3 (#1006)

Browse Source
This commit is contained in:
Ico Doornekamp 2019-02-08 21:52:18 +01:00 committed by Miran
parent 01d8bed1ad
commit 9c3ee00f44
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
packages.json
View File

@ -12653,5 +12653,22 @@
"description": "A compact dictionary implementation", "description": "A compact dictionary implementation",
"license": "MIT", "license": "MIT",
"web": "https://github.com/LemonBoy/compactdict" "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"
} }
] ]