Organisationsocurrentocaml-multicore-ci724003

Merge pull request #40 from benmandrew/update-solver-submodule Update solver-service submodule

Apr 10 19:02 +00:00
1h22m
*Variants labelled (experimental) are still undergoing testing; if they have failed it may be a bug in OCaml-CI.