depends perl
depends gmp
depends glpk
depends swi-prolog
depends ocaml
