Package: flatzinc (3.7.3-1)

[ Source: gecode  ]

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 <http://www.g12.cs.mu.oz.au/minizinc/>.

We provide a parser that reads a FlatZinc model from a file, and returns a Gecode Space object that represents the model. We also provide a simple front-end, an executable program that reads a FlatZinc model and prints the solution (if any) on the standard output.

The FlatZinc interpreter that ships with Gecode version 3.7.1 supports the FlatZinc language and MiniZinc global constraint definitions of MiniZinc version 1.4.0.

Other Packages Related to flatzinc

• dep: libc0.1 (>= 2.4) [kfreebsd-amd64, kfreebsd-i386]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.13) [s390x]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.4) [not ia64, kfreebsd-amd64, kfreebsd-i386, s390x, sparc]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.2) [ia64]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  also a virtual package provided by libc6.1-udeb

• dep: libgcc1 (>= 1:4.1.1) [not armel, armhf]

  GCC:n apukirjasto

  dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

• dep: libgecode32

  generic constraint development environment

• dep: libgecodeflatzinc32

  Gecode support for FlatZinc modelling language

• dep: libgecodegist32

  Gecode Interactive Search Tool library

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

  GNU standardi C++ -kirjasto, versio 3

• dep: libunwind7 [ia64]

  A library to determine the call-chain of a program - runtime

Download flatzinc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	58.2 kB	185.0 kB	[list of files]
armel	59.5 kB	180.0 kB	[list of files]
armhf	57.3 kB	177.0 kB	[list of files]
i386	57.5 kB	182.0 kB	[list of files]
ia64	59.9 kB	195.0 kB	[list of files]
kfreebsd-amd64	58.7 kB	155.0 kB	[list of files]
kfreebsd-i386	58.9 kB	152.0 kB	[list of files]
mips	58.2 kB	183.0 kB	[list of files]
mipsel	58.1 kB	183.0 kB	[list of files]
powerpc	58.6 kB	183.0 kB	[list of files]
s390	58.9 kB	184.0 kB	[list of files]
s390x	59.3 kB	187.0 kB	[list of files]
sparc	58.3 kB	182.0 kB	[list of files]