|Author||Arlen Cox <firstname.lastname@example.org>|
|Maintainer||Arlen Cox <email@example.com>|
|Available||ocaml-version >= "4.01.0"|
|Published||Aug 11, 2015|
|Statistics||Not installed in the last month.|
Abstract domain library for sets
SETr is an interface for set abstractions. It defines common infrastructure for abstracting set constraints for use in an abstract interpreter. Built upon this interface, it provides a number of included abstractions usable as libraries. These included abstractions are tuned for high-performance, symbolic (no known constants), relational (constraints over multiple variables) constraints.