Re: [Libff-devel] herakles

[Johann D. <joh...@la...>]

Alexander Rawass wrote:
> Hi,
> 
> with the patch in attachment I could compile herakles.
> 
> Where is the CVS of herakles?
> 

It's now in libff's CVS. I imported a new directory called "herakles" at 
the top level.

-- 
Johann Deneux