mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-06 03:05:31 -05:00
32 lines
812 B
Markdown
32 lines
812 B
Markdown
# Sidekick 
|
|
|
|
Sidekick is an OCaml library with a functor to create SMT solvers following
|
|
the CDCL(T) approach (so called "lazy SMT").
|
|
|
|
It derives from [Alt-Ergo Zero](http://cubicle.lri.fr/alt-ergo-zero)
|
|
and its fork [mSAT](https://github.com/gbury/msat).
|
|
|
|
|
|
## Documentation
|
|
|
|
See https://c-cube.github.io/sidekick/
|
|
|
|
## Installation
|
|
|
|
### Via opam
|
|
|
|
Once the package is on [opam](http://opam.ocaml.org), just `opam install sidekick`.
|
|
For the development version, use:
|
|
|
|
opam pin https://github.com/c-cube/sidekick.git
|
|
|
|
### Manual installation
|
|
|
|
You will need dune . The command is:
|
|
|
|
make install
|
|
|
|
## Copyright
|
|
|
|
This program is distributed under the Apache Software License version
|
|
2.0. See the enclosed file `LICENSE`.
|