package touist

  1. Overview
  2. Docs

Module SatSolve.ModelSource

Sourceval dump : (Minisat.Lit.t * Minisat.value) list -> string
Sourceval pprint : ?sep:string -> ('a, string) Hashtbl.t -> ('a * Minisat.value) list -> string