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

Re: Proposed new feature: Provers



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


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