Package: flatzinc (6.2.0-5.1 and others) [debports]

[ Source:  ]

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/>.

L'interprete FlatZinc che viene fornito con Gecode gestisce il linguaggio FlatZinc e le definizioni di vincoli globali della versione 1.6.0 di MiniZinc.

Other Packages Related to flatzinc

• dep: libc6 (>= 2.34)

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

• dep: libgcc-s1 (>= 3.0)

  libreria di supporto a GCC

• dep: libgecode49t64

  generic constraint development environment

• dep: libgecodeflatzinc49t64

  gestione Gecode per il linguaggio di modellazione FlatZinc

• dep: libgecodegist49t64

  libreria per strumento di ricerca interattiva di Gecode

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

  libreria GNU Standard C++, versione 3

• rec: minizinc

  constraint modelling language and tool chain

Download flatzinc

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
x32 (unofficial port)	6.2.0-5.1+b1	70.8 kB	239.0 kB	[list of files]