setr

AuthorArlen Cox <arlencox@gmail.com>
LicenseMIT
Homepagehttps://github.com/arlencox/SETr
Issue Trackerhttps://github.com/arlencox/SETr/issues
MaintainerArlen Cox <arlencox@gmail.com>
Dependencies
&cppo
mlbdd
ocamlbuild
ocamlfind
Availableocaml-version >= "4.01.0"
PublishedAug 11, 2015
Source [http] https://github.com/arlencox/SETr/archive/v0.1.1.tar.gz
07484d7fc9623196950cde9aff7167ca
StatisticsInstalled 5times in last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/setr/setr.0.1.1/opam

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.

Necessary for
memcad