Commit 1cbf87b5 authored by Lucas Bourneuf's avatar Lucas Bourneuf

more info for install

parent d061bab0
......@@ -4,6 +4,7 @@ Build by Input Some Easy ASP from User.
Helps the exploration of formal structures by using ASP as a DSL for drawing graphs.
For a Graphical User Interface, see the [biseau-gui](https://gitlab.inria.fr/lbourneu/biseau-gui) package.
For the initial version of biseau published in the
[FCA4AI'18 workshop](https://fca4ai.hse.ru/2018) at IJCAI,
see [the archived repository biseau-initial](https://gitlab.inria.fr/lbourneu/biseau-initial)
......@@ -29,6 +30,10 @@ 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`.
Biseau and its gui are packaged, so if you already have clingo and graphviz, you should be good with:
pip install biseau biseau-gui
## Usage
See [user documentation](doc/user-doc.mkd#basic-usage) for details.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment