Development/Languages/Perl

perl-satsolver: Perl bindings for sat solver

IInfo.png projhp.png wikart.png
(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>
Installieren: perl-satsolver.jpg Status: perl-satsolver.png Umfang:249 KiB