ocplib-simplex-ocaml-dev_0.4-1_amd64.deb


Advertisement

Description

ocplib-simplex-ocaml-dev - simplex library for solving linear inequalities

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename ocplib-simplex-ocaml-dev_0.4-1_amd64.deb
Package name ocplib-simplex-ocaml-dev
Package version 0.4
Package release 1
Package architecture amd64
Package type deb
Category universe/ocaml
Homepage https://github.com/OCamlPro-Iguernlala/ocplib-simplex
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 249.25 KB
Installed size 2.66 MB
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.

Alternatives

Package Version Architecture Repository
ocplib-simplex-ocaml-dev_0.4-1_i386.deb 0.4 i386 Ubuntu Universe
ocplib-simplex-ocaml-dev - - -

Requires

Name Value
libc6 >= 2.2.5
ocaml-base-nox-4.05.0 -

Download

Type URL
Mirror archive.ubuntu.com
Binary Package ocplib-simplex-ocaml-dev_0.4-1_amd64.deb
Source Package ocplib-simplex

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install ocplib-simplex-ocaml-dev deb package:
    # sudo apt-get install ocplib-simplex-ocaml-dev

Files

Path
/usr/lib/ocaml/ocplib-simplex/META
/usr/lib/ocaml/ocplib-simplex/assertBounds.mli
/usr/lib/ocaml/ocplib-simplex/basic.mli
/usr/lib/ocaml/ocplib-simplex/core.mli
/usr/lib/ocaml/ocplib-simplex/coreSig.mli
/usr/lib/ocaml/ocplib-simplex/extSigs.mli
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.a
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cma
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmi
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmo
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmt
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmx
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmxa
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmxs
/usr/lib/ocaml/ocplib-simplex/ocplibSimplex.o
/usr/lib/ocaml/ocplib-simplex/polys.mli
/usr/lib/ocaml/ocplib-simplex/rat2.mli
/usr/lib/ocaml/ocplib-simplex/result.mli
/usr/lib/ocaml/ocplib-simplex/solveBounds.mli
/usr/lib/ocaml/ocplib-simplex/version.mli
/usr/share/doc/ocplib-simplex-ocaml-dev/changelog.Debian.gz
/usr/share/doc/ocplib-simplex-ocaml-dev/copyright

Changelog

2017-11-15 - Ralf Treinen <treinen@debian.org>
ocplib-simplex (0.4-1) unstable; urgency=medium
* New upstream version.
- dropped patch install-target which has been integrated by upstream
- new patch destdir: don't have $(DESTDIR) filled in by ./configure
- new patch testcase: fix minimal test for version 0.4
* Standards-Version 4.1.1:
- change Priority from extra to optional
* debian/tests/control: add Dependency @ (thanks to Andy Li)
2016-11-29 - Ralf Treinen <treinen@debian.org>
ocplib-simplex (0.3-1) unstable; urgency=medium
* initial upload (closes: #845587)

See Also

Package Description
ocproxy_1.60-1build1_amd64.deb SOCKS proxy for openconnect
ocrad_0.27-2_amd64.deb optical character recognition program
ocrfeeder_0.8.1-4_all.deb Document layout analysis and optical character recognition system
ocrmypdf-doc_8.0.1+dfsg-1ubuntu2_all.deb add an OCR text layer to PDF files - documentation
ocrmypdf_8.0.1+dfsg-1ubuntu2_all.deb add an OCR text layer to PDF files
ocrodjvu_0.10.4-1_all.deb tool to perform OCR on DjVu documents
ocserv_0.12.2-2_amd64.deb OpenConnect VPN server compatible with Cisco AnyConnect VPN
ocsinventory-agent_2.4.2-2_amd64.deb Hardware and software inventory tool (client)
ocsinventory-reports_2.5+dfsg1-1_all.deb Hardware and software inventory tool (Administration Console)
ocsinventory-server_2.5+dfsg1-1_all.deb Hardware and software inventory tool (Communication Server)
octave-arduino_0.3.0-2_all.deb Octave Arduino Toolkit
octave-bart_0.4.04-2_all.deb Octave bindings for BART
octave-bim_1.1.5-6_all.deb PDE solver using a finite element/volume approach in Octave
octave-biosig_1.9.3-2_amd64.deb Octave bindings for BioSig library
octave-bsltl_1.1.1-2_all.deb biospeckle laser tool library for Octave
Advertisement
Advertisement