| Name : gecode-minizinc
| |
| Version : 6.3.0~git20211208.6b09bea4
| Vendor : obs://build_opensuse_org/science
|
| Release : 1.1
| Date : 2022-04-28 14:58:45
|
| Group : Productivity/Scientific/Math
| Source RPM : gecode-6.3.0~git20211208.6b09bea4-1.1.src.rpm
|
| Size : 0.13 MB
| |
| Packager : (none)
| |
| Summary : Gecode minizinc solver
|
Description :
Minizinc solver using the Gecode toolkit.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/SLE_15_SP3/x86_64 |
