Proposed new feature: Provers

David A. Wheeler dwheeler at dwheeler.com
Fri Aug 8 20:39:38 UTC 2008

Previous message (by thread): Proposed new feature: Provers
Next message (by thread): Proposed new feature: Provers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Andrew Overholt:
> sat4j is currently in Fedora if that's of interest to you.

It certainly is!! I've added that to the list.

--- David A. Wheeler

Previous message (by thread): Proposed new feature: Provers
Next message (by thread): Proposed new feature: Provers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the fedora-devel-list mailing list