When I try to install any package with Opam, i.e.
$ opam install why3
I receive the following message:
[ERROR] Solver failed: “/usr/bin/aspcud
exited with code 1 “ERROR: grounder returned with non-zero exit status”
Somebody can help?