Opam Package setr.0.1.1

Package info

opam-namesetr
opam-version0.1.1
synopsisAbstract domain library for sets
description 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.
authors
  • Arlen Cox <arlencox@gmail.com>
homepagehttps://github.com/arlencox/SETr
licenseMIT
deps (5)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

setr

Package files

lib/setr/SETr_Symbolic_Tracer.cmi
lib/setr/SETr_Symbolic_Stats.cmi
lib/setr/SETr_Symbolic_Remap.cmi
lib/setr/SETr_Symbolic_Packer.cmi
lib/setr/SETr_Symbolic_Logic.cmi
lib/setr/SETr_Symbolic_Logger.cmi
lib/setr/SETr_Symbolic_Interface.cmi
lib/setr/SETr_Symbolic_Equality.cmi
lib/setr/SETr_Symbolic_Debugger.cmi
lib/setr/SETr_Symbolic_BDD_XImp.cmi
lib/setr/SETr_Symbolic_BDD_XBDD.cmi
lib/setr/SETr_Symbolic_BDD_MLBDD.cmi
lib/setr/SETr_Symbolic_BDD.cmi
lib/setr/SETr_Symbolic.cmi
lib/setr/SETr_SymSing_Sing.cmi
lib/setr/SETr_SymSing_Logic.cmi
lib/setr/SETr_SymSing_Lin.cmi
lib/setr/SETr_SymSing_Interface.cmi
lib/setr/SETr_SymSing.cmi
lib/setr/SETr_Select.cmi
lib/setr/SETr_Rename.cmi
lib/setr/SETr_Parser.cmi
lib/setr/SETr_Lexer.cmi
lib/setr/SETr_Interface.cmi
lib/setr/SETr_DomainBuilder.cmi
lib/setr/SETr_DS_SetOfSets.cmi
lib/setr/SETr_DS_PSet.cmi
lib/setr/SETr_DS_List.cmi
lib/setr/SETr_DS_HashCons.cmi
lib/setr/SETr_DS_HSet.cmi
lib/setr/SETr_DS_HMap.cmi
lib/setr/SETr_DS_Dequeue.cmi
lib/setr/SETr_DS_CNF.cmi
lib/setr/SETr_DS.cmi
lib/setr/SETr.cmxa
lib/setr/SETr.cmi
lib/setr/SETr.cma
lib/setr/SETr.a
lib/setr/META
lib/setr