Zeroinstall_solver.Sat
The low-level SAT solver.
module type USER = sig ... end
module Make : functor (User : USER) -> sig ... end