Paket: minizinc (2.9.2+dfsg1-1) [universe]

Länkar för minizinc

Hämta källkodspaketet minizinc:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

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.11+ds)

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

COIN-OR Open Solver Interface
dep: flatzinc

virtuellt paket som tillhandahålls av gecode-flatzinc

eller gecode-flatzinc

constraint problem modelling language

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

Paketet inte tillgängligt

eller chuffed-flatzinc

lazy clause generation FlatZinc implememntation
dep: jq

lightweight and flexible command-line JSON processor
dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
dep: libgcc-s1 (>= 3.3.1) [ej armhf, riscv64]

GCC support library

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]
dep: libgecode49t64 (>= 6.2.0)

generic constraint development environment
dep: libgecodegist49t64 (>= 6.2.0)

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

GNU Standard C++ Library v3
dep: python3-demjson

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

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	2.720,1 kbyte	9.712,0 kbyte	[filförteckning]
arm64	2.276,4 kbyte	8.280,0 kbyte	[filförteckning]
armhf	2.275,5 kbyte	7.447,0 kbyte	[filförteckning]
ppc64el	2.637,2 kbyte	10.392,0 kbyte	[filförteckning]
riscv64	2.800,4 kbyte	9.897,0 kbyte	[filförteckning]
s390x	2.597,3 kbyte	8.968,0 kbyte	[filförteckning]