picasso
Picasso is an Abstract element drawing library which provides several
ways of drawing abstract element. As abstract elements may be
unbounded, and are generally defined on more than 2 dimensions,
rendering them in a 2d context can be difficult. Picasso handles most
of the boilerplate you usually write to draw abstract elements and
allows you to view those with minimum effort from your end.
Documentation
you can build it locally by doing make doc
or consult the online documentation
Different Abstract Domains
Picasso handles non-necessarily convex linear spaces of several
dimensions, bounded or not. It provides utilities to draw abstract
element of the Apron library
in a straightforward way, plus some other ways of defining drawable
values (see the Drawablemodule).
Different backends
Picasso features different ways of visualizing abstract elements:
md5=021f5cd8c75f3994f838eb82db686b7d
sha512=cd46134c43112b17dbc8350c6e19709b656305df83e1c77e00522e3a6757b573a03f229933f030e59f6dbc4a709436296072602d8743be75297a3e144dc6aeeb