package 0install-solver

  1. Overview
  2. Docs

Module Zeroinstall_solver.SatSource

The low-level SAT solver.

A general purpose SAT solver.

Sourcemodule type USER = sig ... end
Sourcemodule Make (User : USER) : sig ... end