Skip to content

Latest commit

 

History

History
23 lines (18 loc) · 684 Bytes

README.md

File metadata and controls

23 lines (18 loc) · 684 Bytes
Raw

witan Build Status

A prototype implementation of McSat solver

Installation

Using opam:

opam pin add dolmen https://github.com/Gbury/dolmen.git#1cabe6b20b3b5f32c4dd9704fdb105cd941cd572
opam pin add witan https://github.com/witan-org/witan.git

Development

git clone https://github.com/witan-org/witan.git
opam pin add dolmen https://github.com/Gbury/dolmen.git#1cabe6b20b3b5f32c4dd9704fdb105cd941cd572
opam pin add --no-action witan .
opam install --deps-only witan
opam install ounit
make build-dev
make test-dev