setr

Author Arlen Cox <arlencox@gmail.com>
License MIT
Homepage https://github.com/arlencox/SETr
Issue Tracker https://github.com/arlencox/SETr/issues
Maintainer Arlen Cox <arlencox@gmail.com>
Dependencies
& cppo
mlbdd
ocamlbuild
ocamlfind
Available ocaml-version >= "4.01.0"
Published Aug 11, 2015
Source [http] http://github.com/arlencox/SETr/archive/v0.1.1.tar.gz
07484d7fc9623196950cde9aff7167ca
Statistics Not installed in the last month.
Edit https://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