setrversion

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.

AuthorArlen Cox <arlencox@gmail.com>
LicenseMIT
Published
Homepagehttps://github.com/arlencox/SETr
Issue Trackerhttps://github.com/arlencox/SETr/issues
MaintainerArlen Cox <arlencox@gmail.com>
Dependencies
Source [http] https://github.com/arlencox/SETr/archive/v0.1.tar.gz
sha256=7116011432db3c40edb36ef816d1d72b892e13ae72421dd864d4e00a46dfbffe
md5=56618f3f7a90e8eb9885a094fd306b8c
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/setr/setr.0.1/opam
Required by