Install

All systems

curl cmd.cat/compute_minimal_external_representations.sh

Fedora

dnf install ocaml-tplib-tools

Dockerfile

dockerfile.run/compute_minimal_external_representations