After support for apron has been added, we could use https://github.com/ghilesZ/picasso and its svg output to draw graphical representations of the constraints on variables (or outsource drawing to the server if Apron is not integrated yet).
CC @stilscher
After support for apron has been added, we could use https://github.com/ghilesZ/picasso and its svg output to draw graphical representations of the constraints on variables (or outsource drawing to the server if Apron is not integrated yet).
CC @stilscher