ruby-satsolver: Ruby bindings for sat solver
 |
 |
 |
|||
|---|---|---|---|---|---|
| (auf gut Glück) | (meist engl.) | (falls vorhanden) |
- Zusammenfassung (meist engl.)
- Ruby bindings for sat solver. Authors: -------- Klaus Kaempf <kkaempf@suse.de> Duncan Mac-Vicar P. <dmacvicar@suse.de>
| Installieren: |
|
Status: |
|
Umfang: | 291 KiB |
|---|