Proposed new feature: Provers

Andrew Overholt overholt at
Fri Aug 8 13:06:50 UTC 2008


* David A. Wheeler <dwheeler at> [2008-08-07 17:19]:
> I've developed info on a new feature of Fedora 10, aka "Provers":

sat4j is currently in Fedora if that's of interest to you.


More information about the fedora-devel-list mailing list