文件名称：z3nim：Z3 Nim绑定
文件大小：38KB
文件格式：ZIP
更新时间：2024-02-24 12:00:13
nim z3-smt-solver NimNim
z3nim：Z3 Nim绑定
【文件预览】：
z3nim-master
----.gitignore(5B)
----README.md(108B)
----tests()
--------config.nims(37B)
--------test1.nim(3KB)
--------test2.nim(5KB)
----z3nim.nimble(484B)
----.vscode()
--------settings.json(69B)
----docs()
--------z3nim.html(271KB)
----examples()
--------demorgan.nim(143B)
--------config.nims(25B)
--------factorial.nim(406B)
--------uf.nim(321B)
--------quantifier.nim(355B)
----LICENSE(1KB)
----src()
--------z3nim.nim(31KB)
--------z3nim()