perl-satsolver: Perl bindings for sat solver
(auf gut Glück) | (meist engl.) | (falls vorhanden) |
---|
- Zusammenfassung (meist engl.)
- Perl bindings for sat solver. Authors: -------- Klaus Kaempf <kkaempf@suse.de> Duncan Mac-Vicar P. <dmacvicar@suse.de> Bernhard Wiedemann <bwiedemann@suse.de>