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. Best, Samuel