Hi, * David A. Wheeler <dwheeler@xxxxxxxxxxxx> [2008-08-07 17:19]: > I've developed info on a new feature of Fedora 10, aka "Provers": > https://fedoraproject.org/wiki/Features/Provers sat4j is currently in Fedora if that's of interest to you. Andrew -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
