https://github.com/zshipko/z3x
https://github.com/zshipko/z3x
Last synced: about 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/zshipko/z3x
- Owner: zshipko
- License: isc
- Created: 2017-04-15T06:35:57.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2017-04-16T00:29:36.000Z (about 9 years ago)
- Last Synced: 2025-01-22T14:08:09.545Z (over 1 year ago)
- Language: OCaml
- Size: 4.88 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE.md
Awesome Lists containing this project
README
Z3x — Simple Z3 Bindings
-------------------------------------------------------------------------------
%%VERSION%%
Z3x is TODO
Z3x is distributed under the ISC license.
Homepage: https://github.com/zshipko/Z3x
## Installation
Z3x can be installed with `opam`:
opam install Z3x
If you don't use `opam` consult the [`opam`](opam) file for build
instructions.
## Documentation
The documentation and API reference is generated from the source
interfaces. It can be consulted [online][doc] or via `odig doc
Z3x`.
[doc]: https://zshipko.github.io/Z3x/doc
## Sample programs
If you installed Z3x with `opam` sample programs are located in
the directory `opam var Z3x:doc`.
In the distribution sample programs and tests are located in the
[`test`](test) directory. They can be built and run
with:
topkg build --tests true && topkg test