lp-diagrams

An EDSL for diagrams based based on linear constraints.

A library to describe diagrams. The defining feature of the package is the ability to use linear constraints to specify layout, which are resolved using z3 (latest z3 must be installed). Backends are provided either of the following packages lp-diagrams-svg (svg) or marxup (tikz).