bddrand
Dimacs
type t = (bool * int) list list * int
val parse : string -> t
val print : t -> string
val to_formula : t -> Exp.var list * Exp.formula