Hardcaml_verify (hardcaml_verify.Hardcaml

include module type of Hardcaml_verify_kernel
  with module Nusmv := Hardcaml_verify_kernel.Nusmv

module Basic_gates = Hardcaml_verify_kernel.Basic_gates

module Cnf = Hardcaml_verify_kernel.Cnf

module Comb_gates = Hardcaml_verify_kernel.Comb_gates

module Dimacs = Hardcaml_verify_kernel.Dimacs

module Is_one_hot = Hardcaml_verify_kernel.Is_one_hot

module Label = Hardcaml_verify_kernel.Label

module Sat = Hardcaml_verify_kernel.Sat

module Sec = Hardcaml_verify_kernel.Sec

module Solver = Hardcaml_verify_kernel.Solver

module Tseitin = Hardcaml_verify_kernel.Tseitin

module Nusmv : sig ... end