Le 08 septembre 2018 à 13h23, Samuel Hym disait :

> Hi Nicolas,
> Le 08 septembre 2018 à 02h27, Nicolas Braud-Santoni disait :
> > Can you try giving the flag --use-internal-solver to opam ?
> I had tried but the internal solver seems to be disabled.

I talked too fast, before updating my machine. This is fixed by
updating from 2.0.0-1 to 2.0.0-2.

But, even after update, "opam init" without "--use-internal-solver"
does launch aspcud. I killed it quite fast, so I didn’t check whether
the update to opam changed the memory requirements for gringo.


Reply via email to