simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
sidekick/README.md
Simon Cruanes d73684902f wip: have a proper smtlib parser
2018-02-05 23:09:29 -06:00

825 B
Raw Blame History

dagon Build Status

Dagon 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 and its fork mSAT.

Documentation

See https://c-cube.github.io/dagon/

Installation

Via opam

Once the package is on opam, just opam install dagon. For the development version, use:

opam pin add dagon https://github.com/c-cube/dagon.git

Manual installation

You will need jbuilder. The command is:

make install

Copyright

This program is distributed under the Apache Software License version 2.0. See the enclosed file LICENSE.