setr

Abstract domain library for sets
IN THIS PACKAGE
Module SETr_Symbolic
module BDD = SETr_Symbolic_BDD
module Debugger = SETr_Symbolic_Debugger
module Equality = SETr_Symbolic_Equality
module Logger = SETr_Symbolic_Logger
module Packer = SETr_Symbolic_Packer
module Remap = SETr_Symbolic_Remap
module Stats = SETr_Symbolic_Stats
module Tracer = SETr_Symbolic_Tracer