Module Domains.Constraint_domain2

val option_translate : [ `First_order | `Horn ]
val option_pretty_constraints : [ `Both | `Symbolic | `Value ]
val option_fresh_variable_every_time : bool
val option_semantic_simplification_constraints : bool
module Constraints_smt = Constraints.Smt