package 0install-solver

  1. Overview
  2. Docs

The low-level SAT solver.

A general purpose SAT solver.

module type USER = sig ... end
module Make (User : USER) : sig ... end
OCaml

Innovation. Community. Security.