biseau 0.0.2

Draw graphs using Answer Set Programming

# Biseau __B__uild by __I__nput __S__ome __E__asy __A__SP from __U__sers.

Helps the exploration of formal structures by using ASP as a DSL for drawing graphs.

For the initial version of biseau published in the FCA4AI’18 workshop at IJCAI, see [the archived repository biseau-initial](https://gitlab.inria.fr/lbourneu/biseau-initial)

## Principles

Now, you may want to read about:

• [visualization details](doc/user-doc.mkd#visualization-principles), that explains the theory behind the visualization itself.

• [visualization DSL](doc/user-doc.mkd#asp-to-dot), that explains which atoms produces which effect in visualization.

• [scripting](doc/user-doc.mkd#scripting), that allow you to implement new behavior for biseau.

## Installation See [user documentation](doc/user-doc.mkd#installation) for details, but in short, you need [clingo](https://potassco.org/clingo/), [graphviz](http://graphviz.org/) and make install-deps.

## Usage See [user documentation](doc/user-doc.mkd#basic-usage) for details. See [Makefile](Makefile) for various recipes. Running biseau can be done using the following commands:

python -m biseau gui # run the Graphical User Interface python -m biseau # run the Command Line Interface python -m biseau –help # get help for the CLI