setr

Abstract domain library for sets
IN THIS PACKAGE
module Default = MLBDD
module Opt : sig ... end