<Drup>
it just means the built in solver is bad, it's a known problem. In an ideal world, there wouldn't be any built in solver and everyone would use external solvers
<Drup>
unfortunately, aspcud, packup and the likes are not available everywhere.
<Drup>
m__: on which linux are you ? you should probably report the fact that the opam package should depend on either aspcud or packup
<m__>
ubuntu
<Drup>
you build from source ? There is a ppa with aspcud and it should work directly
<m__>
I installed it a long time ago. But I think I installed it from ppa:avsm/ppa
<Drup>
yeah, that should be the good one
<m__>
If I am not wrong
<m__>
but it looks that it didn't come with aspcud
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
nullcat has quit [Client Quit]
yomimono has quit [Ping timeout: 245 seconds]
brson has joined #mirage
m__ has quit [Ping timeout: 246 seconds]
englishm has quit []
englishm has joined #mirage
MrScout has joined #mirage
englishm has quit []
mort___ has quit [Ping timeout: 246 seconds]
englishm has joined #mirage
brson has quit [Ping timeout: 240 seconds]
brson has joined #mirage
englishm has quit []
englishm has joined #mirage
MrScout_ has joined #mirage
MrScout has quit [Ping timeout: 244 seconds]
dongcarl has joined #mirage
dongcarl has quit [Remote host closed the connection]
dongcarl has joined #mirage
dongcarl has quit [Client Quit]
englishm has quit []
brson has quit [Ping timeout: 246 seconds]
brson has joined #mirage
MrScout_ has quit [Remote host closed the connection]