jyapayne/packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added package z3nim (#1342)

Browse source
This commit is contained in:
Double_oxygeN 2020-01-26 00:34:45 +09:00 • committed by Miran
commit cc3b2bf6f0
1 changed files with 14 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

14
packages.json
View file

@ -16319,5 +16319,19 @@
"description": "ADB protocol implementation in Nim", "description": "ADB protocol implementation in Nim",
"license": "MIT", "license": "MIT",
"web": "https://github.com/Yardanico/nim-adb" "web": "https://github.com/Yardanico/nim-adb"
},
{
"name": "z3nim",
"url": "https://github.com/Double-oxygeN/z3nim",
"method": "git",
"tags": [
"z3",
"smt",
"wrapper",
"library"
],
"description": "Z3 binding for Nim",
"license": "MIT",
"web": "https://github.com/Double-oxygeN/z3nim"
} }
] ]