packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain flatzinc in all suites, all sections, and all architectures. Found 5 matching packages.

Exact hits

Package flatzinc

• jammy (22.04LTS) (devel): constraint problem modelling language [universe]
  6.2.0-5: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (devel): constraint problem modelling language [universe]
  6.2.0-5.1build3: amd64 arm64 armhf ppc64el riscv64 s390x
• plucky (25.04): Virtual package
  provided by: gecode-flatzinc
• questing (25.10): Virtual package
  provided by: gecode-flatzinc
• resolute: Virtual package
  provided by: gecode-flatzinc

Other hits

Package chuffed-flatzinc

• plucky (25.04) (math): lazy clause generation FlatZinc implememntation [universe]
  0.13.1-1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): lazy clause generation FlatZinc implememntation [universe]
  0.13.1-1: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (math): lazy clause generation FlatZinc implememntation [universe]
  0.13.1-1build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package gecode-flatzinc

• plucky (25.04) (devel): constraint problem modelling language [universe]
  6.2.0+git20240207-2: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (devel): constraint problem modelling language [universe]
  6.2.0+git20240207-2: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (devel): constraint problem modelling language [universe]
  6.2.0+git20240207-2build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package libgecodeflatzinc49

• jammy (22.04LTS) (libs): Gecode support for FlatZinc modelling language [universe]
  6.2.0-5: amd64 arm64 armhf ppc64el riscv64 s390x

Package libgecodeflatzinc49t64

• noble (24.04LTS) (libs): Gecode support for FlatZinc modelling language [universe]
  6.2.0-5.1build3: amd64 arm64 armhf ppc64el riscv64 s390x
• plucky (25.04) (libs): Gecode support for FlatZinc modelling language [universe]
  6.2.0-7: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (libs): Gecode support for FlatZinc modelling language [universe]
  6.2.0-7: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (libs): Gecode support for FlatZinc modelling language [universe]
  6.2.0-7build1: amd64 arm64 armhf ppc64el riscv64 s390x