How to Install and Uninstall ocplib-simplex-ocaml-dev Package on Ubuntu 21.10 (Impish Indri)
Last updated: December 24,2024
1. Install "ocplib-simplex-ocaml-dev" package
In this section, we are going to explain the necessary steps to install ocplib-simplex-ocaml-dev on Ubuntu 21.10 (Impish Indri)
$
sudo apt update
Copied
$
sudo apt install
ocplib-simplex-ocaml-dev
Copied
2. Uninstall "ocplib-simplex-ocaml-dev" package
Learn how to uninstall ocplib-simplex-ocaml-dev on Ubuntu 21.10 (Impish Indri):
$
sudo apt remove
ocplib-simplex-ocaml-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the ocplib-simplex-ocaml-dev package on Ubuntu 21.10 (Impish Indri)
Package: ocplib-simplex-ocaml-dev
Architecture: amd64
Version: 0.4-2build2
Priority: extra
Section: universe/ocaml
Source: ocplib-simplex
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3150
Depends: ocaml-base-nox-4.11.1
Filename: pool/universe/o/ocplib-simplex/ocplib-simplex-ocaml-dev_0.4-2build2_amd64.deb
Size: 268916
MD5sum: 131366256f2a6fd18e1d0479548fc79d
SHA1: ac6bacf23d0ec222df884e239105a507142d9a0b
SHA256: 513a218391d9f40dbf0ab0879086ef96c701aa6796fdb4e0df408dbddcd9f8a4
SHA512: 3b876bad7773d22829c5191c118addfb46f763aaec20b027d03a56ccb51786fcd58c46bbeb87391ef69bbd6deee5f765b20bb9519c9c20d5e6123790d7ccd3c2
Homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
Description-en: simplex library for solving linear inequalities
ocplib-simplex is a (fully) functional OCaml implementation of the
simplex algorithm for solving systems of linear inequalities. The
implementation is incremental and backtrackable. It is able to
extract unsat-cores for unsatisfiable problems, and supports linear
optimization.
Description-md5: c755269fc07de400d1f1731f4582d63e
Architecture: amd64
Version: 0.4-2build2
Priority: extra
Section: universe/ocaml
Source: ocplib-simplex
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3150
Depends: ocaml-base-nox-4.11.1
Filename: pool/universe/o/ocplib-simplex/ocplib-simplex-ocaml-dev_0.4-2build2_amd64.deb
Size: 268916
MD5sum: 131366256f2a6fd18e1d0479548fc79d
SHA1: ac6bacf23d0ec222df884e239105a507142d9a0b
SHA256: 513a218391d9f40dbf0ab0879086ef96c701aa6796fdb4e0df408dbddcd9f8a4
SHA512: 3b876bad7773d22829c5191c118addfb46f763aaec20b027d03a56ccb51786fcd58c46bbeb87391ef69bbd6deee5f765b20bb9519c9c20d5e6123790d7ccd3c2
Homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
Description-en: simplex library for solving linear inequalities
ocplib-simplex is a (fully) functional OCaml implementation of the
simplex algorithm for solving systems of linear inequalities. The
implementation is incremental and backtrackable. It is able to
extract unsat-cores for unsatisfiable problems, and supports linear
optimization.
Description-md5: c755269fc07de400d1f1731f4582d63e