| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
You can use MiniZinc to model constraint satisfaction and optimisation problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.
| Package | Summary | Distribution | Download |
| minizinc-2.8.2-1.4.i586.html | A high-level constraint modelling language | OpenSuSE Ports Tumbleweed for i586 | minizinc-2.8.2-1.4.i586.rpm |
| minizinc-2.8.2-1.3.aarch64.html | A high-level constraint modelling language | OpenSuSE Ports Tumbleweed for aarch64 | minizinc-2.8.2-1.3.aarch64.rpm |
| minizinc-2.8.2-1.3.armv6hl.html | A high-level constraint modelling language | OpenSuSE Ports Tumbleweed for armv6hl | minizinc-2.8.2-1.3.armv6hl.rpm |
| minizinc-2.8.2-1.3.armv7hl.html | A high-level constraint modelling language | OpenSuSE Ports Tumbleweed for armv7hl | minizinc-2.8.2-1.3.armv7hl.rpm |
| minizinc-2.8.2-1.3.ppc64le.html | A high-level constraint modelling language | OpenSuSE Ports Tumbleweed for ppc64le | minizinc-2.8.2-1.3.ppc64le.rpm |
| minizinc-2.8.2-1.3.s390x.html | A high-level constraint modelling language | OpenSuSE Ports Tumbleweed for s390x | minizinc-2.8.2-1.3.s390x.rpm |
| minizinc-2.8.2-1.3.x86_64.html | A high-level constraint modelling language | OpenSuSE Tumbleweed for x86_64 | minizinc-2.8.2-1.3.x86_64.rpm |
| minizinc-2.8.2-1.1.riscv64.html | A high-level constraint modelling language | OpenSuSE Ports Tumbleweed for riscv64 | minizinc-2.8.2-1.1.riscv64.rpm |
Generated by rpm2html 1.6