Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Zoek in alle platforms
Some results have not been displayed due to the search parameters.
You have searched for pakketten that names contain flatzinc in alle suites, alle secties, and platform(s) s390x. Found 4 matching packages.
Exacte resultaten
Pakket flatzinc
- bullseye (oldstable) (devel):
constraint problem modelling language
6.2.0-5: s390x - bookworm (stable) (devel):
constraint problem modelling language
6.2.0-5: s390x - trixie (testing) (devel):
constraint problem modelling language
6.2.0-5.1+b1: s390x - sid (unstable) (devel):
constraint problem modelling language
6.2.0-5.1+b1: s390x
Overige resultaten
Pakket chuffed-flatzinc
- trixie (testing) (math):
lazy clause generation FlatZinc implememntation
0.13.1-1: s390x - sid (unstable) (math):
lazy clause generation FlatZinc implememntation
0.13.1-1: s390x
Pakket libgecodeflatzinc49
- bullseye (oldstable) (libs):
Gecode support for FlatZinc modelling language
6.2.0-5: s390x - bookworm (stable) (libs):
Gecode support for FlatZinc modelling language
6.2.0-5: s390x
Pakket libgecodeflatzinc49t64
- trixie (testing) (libs):
Gecode support for FlatZinc modelling language
6.2.0-5.1+b1: s390x - sid (unstable) (libs):
Gecode support for FlatZinc modelling language
6.2.0-5.1+b1: s390x