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

Re: Proposed new feature: Provers

From: Andrew Overholt <overholt redhat com>
To: dwheeler dwheeler com, Development discussions related to Fedora <fedora-devel-list redhat com>
Cc:
Subject: Re: Proposed new feature: Provers
Date: Fri, 8 Aug 2008 09:06:50 -0400

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

Follow-Ups:
- Re: Proposed new feature: Provers
  - From: David A. Wheeler

References:
- Proposed new feature: Provers
  - From: David A. Wheeler

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