compute_minimal_external_representations

Tools that use TPLib

Install

All systems
curl cmd.cat/compute_minimal_external_representations.sh
Fedora
dnf install ocaml-tplib-tools

ocaml-tplib-tools

Tools that use TPLib