math/ocaml-ocplib-simplex 0.5.1_1 FreeBSD

Alt-Ergo simplex solver library for Objective Caml

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: LGPL21+
Categories: math
Package size: 856.5 KiB, 3783.7 KiB installed

Description

The Ocplib-simplex OCaml library imlements a simplex algorithm for solving systems of linear inequalities and optimizing linear objective functions. Linear optimization and unsat-cores extraction are also supported. The implementation is iterative and backtrackable.

In the other systems

System

Port

Version

FreeBSD

math/ocaml-ocplib-simplex

0.5.1_1

NetBSD

math/ocaml-ocplib-simplex

0.5.1nb3

DragonFly

math/ocaml-ocplib-simplex

0.5.1_1

Install

Binary package:

pkg install ocaml-ocplib-simplex

From the ports tree:

cd /usr/ports/math/ocaml-ocplib-simplex/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	ocaml-ocplib-simplex>0:math/ocaml-ocplib-simplex

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository

aarch64

amd64

armv6

armv7

i386

FreeBSD:14:latest

0.5.1_1

FreeBSD:14:quarterly

0.5.1_1

n/a

0.5.1_1

FreeBSD:15:latest

0.5.1_1

n/a

0.5.1_1

FreeBSD:15:quarterly

0.5.1_1

n/a

FreeBSD:16:latest

0.5.1_1

n/a

FreeBSD:16:quarterly

n/a

Dependencies

As this port's Makefile names them.

Build 1

${LOCALBASE}/${OCAML_SITELIBDIR}/logs/META : devel/ocaml-logs

Runtime 1

${LOCALBASE}/${OCAML_SITELIBDIR}/logs/META : devel/ocaml-logs

Test 1

${LOCALBASE}/${OCAML_SITELIBDIR}/zarith/META : math/ocaml-zarith

The full lists below include those, and their dependencies in turn.

Build dependencies 34

Run dependencies 33

Required by 1

math/alt-ergo

Configuration

Options name: math_ocplib-simplex

Option

Default

Description

DOCS

off

Build and/or install documentation

USES: ocaml:dune
Service scripts: none

Files

pkg-plist 65

%%OCAML_SITELIBDIR%%/ocplib-simplex/META
%%OCAML_SITELIBDIR%%/ocplib-simplex/OcplibSimplex.a
%%OCAML_SITELIBDIR%%/ocplib-simplex/OcplibSimplex.cma
%%OCAML_SITELIBDIR%%/ocplib-simplex/OcplibSimplex.cmxa
%%OCAML_SITELIBDIR%%/ocplib-simplex/OcplibSimplex.cmxs
%%OCAML_SITELIBDIR%%/ocplib-simplex/assertBounds.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/assertBounds.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/basic.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/basic.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/core.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/core.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/coreSig.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/dune-package
%%OCAML_SITELIBDIR%%/ocplib-simplex/extSigs.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__AssertBounds.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__AssertBounds.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__AssertBounds.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__AssertBounds.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Basic.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Basic.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Basic.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Basic.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Core.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Core.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Core.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Core.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__CoreSig.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__CoreSig.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__ExtSigs.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__ExtSigs.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Polys.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Polys.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Polys.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Polys.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Rat2.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Rat2.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Rat2.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Rat2.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Result.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Result.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Result.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Result.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__SolveBounds.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__SolveBounds.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__SolveBounds.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__SolveBounds.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Version.cmi
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Version.cmt
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Version.cmti
%%OCAML_SITELIBDIR%%/ocplib-simplex/ocplibSimplex__Version.cmx
%%OCAML_SITELIBDIR%%/ocplib-simplex/opam
%%OCAML_SITELIBDIR%%/ocplib-simplex/polys.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/polys.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/rat2.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/rat2.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/result.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/result.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/solveBounds.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/solveBounds.mli
%%OCAML_SITELIBDIR%%/ocplib-simplex/version.ml
%%OCAML_SITELIBDIR%%/ocplib-simplex/version.mli

distinfo 1

File

Size

SHA256

OCamlPro-ocplib-simplex-v0.5.1_GH0.tar.gz

34208

4518a8c9eaaaee4626f73899a2b87a482f55c3a6995303f08eea8c952c7befa5

Commit history 0

No commits in the history this site was built from.