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

[ Source: gecode-snapshot  ]

linguaggio di modellazione per problemi con vincoli

FlatZinc è un linguaggio di modellazione a basso livello per problemi con vincoli. È progettato per essere facilmente interfacciabile con risolutori con vincoli (come Gecode). Per maggiori informazioni su FlatZinc fare riferimento alle pagine su MiniZinc del progetto G12 <https://www.minizinc.org/>.

Other Packages Related to gecode-flatzinc

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

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.42) [i386]

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

  libreria di supporto a GCC

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

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

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

• dep: libmpfr6 (>= 3.1.3)

  calcoli in virgola mobile a precisione multipla

• dep: libqt6core6t64 (>= 6.9.1)

  modulo principale di Qt 6

• dep: libqt6gui6 (>= 6.9.1)

  modulo GUI di Qt 6

• dep: libqt6printsupport6 (>= 6.1.2)

  modulo di supporto della stampa di Qt 6

• dep: libqt6widgets6 (>= 6.3.0)

  modulo per widget di Qt 6

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

  libreria GNU Standard C++, versione 3

• rec: minizinc

  linguaggio e catena di strumenti per modellazione di vincoli

Download gecode-flatzinc

Download for all available architectures

Architecture	Package Size	Installed Size	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]
i386	3,038.8 kB	15,168.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]