Metadata-Version: 1.1
Name: biseau
Version: 0.0.6
Summary: Draw graphs using Answer Set Programming
Home-page: https://gitlab.inria.fr/lbourneu/biseau
Author: Lucas Bourneuf
Author-email: lucas.bourneuf@inria.fr
License: GPL
Description: # Biseau
        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)
        
        
        ## 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 (if biseau-gui is installed)
            python -m biseau         # run the Command Line Interface
            python -m biseau --help  # get help for the CLI
        
Keywords: Answer Set Programming,wrapper,clingo
Platform: UNKNOWN
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Science/Research
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: ASP
