Pakiet: minizinc (2.8.7+dfsg1-1)

Odnośniki dla minizinc

Zasoby systemu Debian:

Pobieranie pakietu źródłowego minizinc:

Opiekun:

Kari Pahula (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [www.minizinc.org]

Podobne pakiety:

constraint modelling language and tool chain

MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc.

MiniZinc is designed to interface easily to different backend solvers. It does this by transforming an input MiniZinc model and data file into a FlatZinc model. FlatZinc models consist of variable declaration and constraint definitions as well as a definition of the objective function if the problem is an optimization problem. The translation from MiniZinc to FlatZinc is specializable to individual backend solvers, so they can control what form constraints end up in. In particular, MiniZinc allows the specification of global constraints by decomposition.

Inne pakiety związane z minizinc

wymaga

poleca

sugeruje

enhances

dep: coinor-libcbc3.1 (>= 2.10.12+ds)

Coin-or branch-and-cut mixed integer programming solver (shared libraries)
dep: coinor-libcgl1 (>= 0.60.9+ds)

COIN-OR Cut Generation Library
dep: coinor-libclp1 (>= 1.17.10+ds)

Coin-or linear programming solver (shared libraries)
dep: coinor-libcoinutils3v5 (>= 2.11.4+repack1)

COIN-OR collection of utility classes (shared libraries)
dep: coinor-libosi1v5 (>= 0.108.10+ds)

COIN-OR Open Solver Interface
dep: flatzinc

pakiet wirtualny udostępniany przez gecode-flatzinc

lub gecode-flatzinc

constraint problem modelling language

lub ortools-flatzinc (>= 8.2+ds-6)

Pakiet niedostępny

lub chuffed-flatzinc

lazy clause generation FlatZinc implememntation
dep: jq

Lekki i elastyczny moduł obsługi konsoli JSON
dep: libc6 (>= 2.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.4.4)

Biblioteka wspomagająca GCC
dep: libgecode49t64

generic constraint development environment
dep: libgecodegist49t64

Gecode Interactive Search Tool library
dep: libstdc++6 (>= 14)

Standardowa biblioteka GNU C++, wersja 3
dep: python3-demjson

encoder, decoder, and lint/validator for JSON in Python

Pobieranie minizinc

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
ppc64el	2 204,3 KiB	11 897,0 KiB	[lista plików]