Package: gecode-flatzinc (6.2.0+git20260120-1)

[ Source: gecode-snapshot  ]

constraint problem modelling language

FlatZinc is a low-level modelling language for constraint problems. It is designed to be easily interfaceable to constraint solvers (like Gecode). For more information on FlatZinc, please refer to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.

Other Packages Related to gecode-flatzinc

• dep: libc6 (>= 2.38) [not alpha, i386, loong64]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.42) [i386, loong64]

• dep: libc6.1 (>= 2.38) [alpha]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6.1-udeb

• dep: libgcc-s1 (>= 3.0) [not alpha, armhf, hppa, i386, riscv64, sparc64]

  GCC 기능 지원 라이브러리

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

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

  dep: libgcc-s1 (>= 7) [i386]

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC 기능 지원 라이브러리

• dep: libmpfr6 (>= 3.1.3)

  다중 정밀도 부동 소수점 연산

• dep: libqt6core6t64 (>= 6.9.1)

  Qt 6 core module

• dep: libqt6gui6 (>= 6.9.1)

  Qt 6 GUI module

• dep: libqt6printsupport6 (>= 6.1.2)

  Qt 6 print support module

• dep: libqt6widgets6 (>= 6.3.0)

  Qt 6 widgets module

• dep: libstdc++6 (>= 14)

  GNU 표준 C++ 라이브러리 v3

• rec: minizinc

  constraint modelling language and tool chain

Download gecode-flatzinc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	2,734.1 kB	16,779.0 kB	[list of files]
amd64	2,943.3 kB	15,219.0 kB	[list of files]
arm64	2,582.8 kB	15,024.0 kB	[list of files]
armhf	2,531.7 kB	10,232.0 kB	[list of files]
hppa (unofficial port)	2,930.0 kB	16,032.0 kB	[list of files]
i386	3,038.8 kB	15,168.0 kB	[list of files]
loong64	2,762.7 kB	16,111.0 kB	[list of files]
ppc64 (unofficial port)	2,793.9 kB	19,318.0 kB	[list of files]
ppc64el	2,899.2 kB	18,351.0 kB	[list of files]
riscv64	2,869.2 kB	11,923.0 kB	[list of files]
s390x	3,379.1 kB	17,615.0 kB	[list of files]
sparc64 (unofficial port)	2,229.3 kB	15,634.0 kB	[list of files]
x32 (unofficial port)	2,848.2 kB	14,210.0 kB	[list of files]