package msat

  1. Overview
  2. Docs

Parameters

Signature

type t
exception Unsat of T.t * T.t * T.t list
val empty : t
val add_eq : t -> T.t -> T.t -> t
val add_neq : t -> T.t -> T.t -> t
val repr : t -> T.t -> T.t
val are_neq : t -> T.t -> T.t -> bool