Source file result.ml

type t =
  | Sat
  | Unsat
  | Unknown
let to_string = function
  | Sat -> "sat"
  | Unsat -> "unsat"
  | Unknown -> "unknown"
let of_cxx = function
  | 10 -> Sat
  | 20 -> Unsat
  | 0 -> Unknown
  | _ -> assert false