package msat

  1. Overview
  2. Docs
exception Unsat of String.t * String.t * String.t list
val empty : t
val add_eq : t -> String.t -> String.t -> t
val add_neq : t -> String.t -> String.t -> t
val repr : t -> String.t -> String.t
val are_neq : t -> String.t -> String.t -> bool