Direcory for vendor obs://build_opensuse_org/home:hugomg
Display 1 - 17 hits of 17.
| aspcud | 1.9.1-1.10 | x86_64 | Solver for package problems in CUDF format using ASP | openSUSE Leap 42 |
| aspcud | 1.9.1-1.1 | x86_64 | Solver for package problems in CUDF format using ASP | openSUSE Tumbleweed |
| aspcud | 1.9.1-1.1 | i586 | Solver for package problems in CUDF format using ASP | openSUSE Tumbleweed |
| clasp | 3.2.0-2.61 | x86_64 | SAT solver | openSUSE Tumbleweed |
| clasp | 3.2.0-2.61 | i586 | SAT solver | openSUSE Tumbleweed |
| clasp | 3.2.0-2.56 | x86_64 | SAT solver | openSUSE Tumbleweed |
| clasp | 3.2.0-2.56 | i586 | SAT solver | openSUSE Tumbleweed |
| gringo | 4.5.4-2.94 | i586 | Grounding tools for (disjunctive) logic programs | openSUSE Tumbleweed |
| gringo | 4.5.4-2.94 | x86_64 | Grounding tools for (disjunctive) logic programs | openSUSE Tumbleweed |
| gringo | 4.5.4-2.91 | x86_64 | Grounding tools for (disjunctive) logic programs | openSUSE Tumbleweed |
| gringo | 4.5.4-2.91 | i586 | Grounding tools for (disjunctive) logic programs | openSUSE Tumbleweed |
| xjump | 2.9.3-3.2 | x86_64 | A jumping game for X | openSUSE Leap 42 |
| xjump | 2.9.3-3.17 | i586 | A jumping game for X | openSUSE Tumbleweed |
| xjump | 2.9.3-3.17 | x86_64 | A jumping game for X | openSUSE Tumbleweed |
| xjump | 2.9.3-3.1 | x86_64 | A jumping game for X | openSUSE Leap 42 |
| xjump | 2.9.3-3.1 | x86_64 | A jumping game for X | OpenSuSE 13.X |
| xjump | 2.9.3-3.1 | i586 | A jumping game for X | OpenSuSE 13.X |
