Paketti: libgecodeflatzinc32 (3.7.3-1) [debports]

[ Source:  ]

Gecode support for FlatZinc modelling language

Gecode is an attempt to construct an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications.

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

Muut pakettiin libgecodeflatzinc32 liittyvät paketit

• dep: multiarch-support

  Paketti ei saatavilla

• dep: libc6 (>= 2.13)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

• dep: libgcc1 (>= 1:4.1.1)

  Paketti ei saatavilla

• dep: libgecode32

  generic constraint development environment

• dep: libgecodegist32

  Gecode Interactive Search Tool library

• dep: libqtcore4 (>= 4:4.7.4-3)

  Paketti ei saatavilla

• dep: libqtgui4 (>= 4:4.5.3)

  Paketti ei saatavilla

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

  GNU standardi C++ -kirjasto, versio 3

• sug: libgecode-dev

  generic constraint development environment

Imuroi libgecodeflatzinc32

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
sh4 (epävirallinen siirros)	202.3 kt	446.0 kt	[tiedostoluettelo]