Make.S
type lit
type var
type solver
val add_clause : solver -> lit list -> unit
val add_clause_binary : solver -> lit -> lit -> unit
val negate : lit -> lit
val new_var : solver -> var
val positive_lit : var -> lit