| Name : gecode-minizinc
| |
| Version : 6.3.0~git20211208.6b09bea4
| Vendor : openSUSE
|
| Release : 1.13
| Date : 2022-05-01 00:32:20
|
| Group : Productivity/Scientific/Math
| Source RPM : gecode-6.3.0~git20211208.6b09bea4-1.13.src.rpm
|
| Size : 0.84 MB
| |
| Packager : http://bugs_opensuse_org
| |
| Summary : Gecode minizinc solver
|
Description :
Minizinc solver using the Gecode toolkit.
|
RPM found in directory: /vol/rzm3/linux-opensuse/ports/i586/tumbleweed/repo/oss/i586 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
gecode-minizinc
gecode-minizinc(x86-32)
libgecodeflatzinc.so.51
minizinc-solver
Requires :
