SAT solver binary based on the msat library
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/by-name/ms/msat/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37dune-3.18.2ocaml-5.3.0ocaml5.3.0-camlzip-1.11ocaml5.3.0-containers-3.15ocaml5.3.0-findlib-1.9.8ocaml5.3.0-msat-0.9.1sourcestdenv-linuxSelected dependents
None recorded.