Note: this is at the moment still a WIP project that is developed erratically when the authors find time to do so.
Design notes (in French): marracheck-design-notes.
As an opam package
To just obtain the
marracheck binary, pinning the repository using opam should work.
opam pin add marracheck.dev https://github.com/Armael/marracheck.git
Afterwards, one still needs to install separately the external solver, see instructions below.
Local development copy
After cloning this repository, run:
git submodule update --init --recursive # fetch the vendored copy of the opam libs that we use opam install --deps-only . # or, to create a fresh local switch: opam switch create --deps-only . ocaml-base-compiler.4.09.1 dune build dune exec -- src/marracheck.exe --help # (right now the only interesting marracheck command is `run`)
Then, install the external solver; see instructions below.
Right now marracheck needs an extra external solver to be installed and
available in the
$PATH. This is obviously not ideal and will be improved in
git clone https://github.com/sbjoshi/Open-WBO-Inc cd Open-WBO-Inc make r
This will build an
open-wbo-inc_release binary, that you need to copy
somewhere where it can be found through