package ocaml-sat-solvers

  1. Overview
  2. Docs
type token =
  1. | TResult
  2. | TValue
  3. | TSat
  4. | TUnsat
  5. | TString of string
  6. | TNumber of int
  7. | TEOL
val program : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Satsolutionparserhelper.parsedSolution
OCaml

Innovation. Community. Security.