Simplified packaging

Closes #41

See merge request laiser/caisar!98

Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago

Just provide a single opam package for CAISAR.

Adding alpha-beta-crown and fixing bugs in Docker

Closes #42

See merge request laiser/caisar!97

Add option `--define` (short `--def`)

See merge request laiser/caisar!90

Small documentation clarifications

See merge request laiser/caisar!96

Split task goal only in presence of datasets

Closes #40

See merge request laiser/caisar!93

Avoid splitting when not necessary as it may incur in performance hit. Indeed,
splitting means more (tinier) goals to verify, hence more call to provers.

    Biggest positive signed int32 is used when a node as no parents.
    It can't be represented in an integer in ocaml 32bit
    since they have only 31bit.

[aimos] Set CWD from CAISAR

See merge request laiser/caisar!95