package picasso

  1. Overview
  2. Docs
Abstract elements drawing library

Install

Dune Dependency

Authors

Maintainers

Sources

v0.1.tar.gz
md5=021f5cd8c75f3994f838eb82db686b7d
sha512=cd46134c43112b17dbc8350c6e19709b656305df83e1c77e00522e3a6757b573a03f229933f030e59f6dbc4a709436296072602d8743be75297a3e144dc6aeeb

Description

A toolbox for drawing abstract elements

Published: 17 Sep 2020

README

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:

  • interactive Gtk window (scrollable, zoomable)

  • LaTex generation

  • 3D .obj file generation (you can use g3dviewer, among others, to visualize the 3d model)

Dependencies (5)

  1. apron
  2. apronext >= "1.0.1" & < "1.0.3"
  3. lablgtk
  4. ocaml >= "4.08"
  5. dune >= "2.1"

Dev Dependencies

None

Used by (1)

  1. absolute < "0.2"

Conflicts

None