Closed patricoferris closed 2 years ago
This PR restores the original solver-service functionality of reading from stdin -- this is useful for upstream OCaml-CI testing and for spawning local instances of the solver-service.
stdin
This PR restores the original solver-service functionality of reading from
stdin
-- this is useful for upstream OCaml-CI testing and for spawning local instances of the solver-service.