[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: Proposed new feature: Provers



Hi,

* David A. Wheeler <dwheeler dwheeler com> [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


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]