opam solver internal assertion failures

[avsm]

from check.ocamllabs.io:

http://check.ocamllabs.io/4.05.0/bad/cstruct-lwt.3.3.0

# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
opam: ClpNonLinearCost.cpp:1035: void ClpNonLinearCost::checkInfeasibilities(double): Assertion `lowerValue<=upperValue' failed.
Aborted (core dumped)
Command failed: opam list --readonly --external  --resolve=cstruct-lwt.3.3.0 returned 134
Command 'docker run --rm opam-check-all-4.05.0 opam depext -ivy cstruct-lwt.3.3.0' failed.

and @samoht reports:

# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
opam: ClpNonLinearCost.cpp:1035: void ClpNonLinearCost::checkInfeasibilities(double): Assertion `lowerValue<=upperValue' failed.
Aborted (core dumped)
Command failed: opam list --readonly --external  --resolve=irmin-http.1.2.0 returned 134
Command 'docker run --rm opam-check-all-4.03.0 opam depext -ivy irmin-http.1.2.0' failed.

@kit-ty-kate - it might be worth running a grep over the check.ocamllabs.io output for more of these solver cases