用答案集编程绘制图形
biseau的Python项目详细描述
比索
从用户输入一些简单的asp来构建。
通过使用asp作为绘制图形的dsl,有助于探索形式结构。 有关图形用户界面,请参见biseau-gui包。
对于biseau的最初版本 FCA4AI'18 workshop在伊蔡, 见the archived repository biseau-initial
原理
现在,您可能需要阅读以下内容:
- visualization details,这解释了可视化本身背后的理论。
- visualization DSL,这解释了哪些原子在可视化中产生了哪些效果。
- scripting,它允许您为biseau实现新的行为。
导出为独立脚本
目前正在开发中。
安装
详见user documentation,
但简而言之,你需要clingo,
graphviz和make install-deps
。
biseau和它的gui是打包的,所以如果你已经有了cligo和graphviz,你应该很好地使用:
pip install biseau biseau-gui
用法
详见user documentation。
各种食谱见^{
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
注释
炸弹攻击错误
为了避免你受到某种攻击,枕头可能会阻止你创建大型图像。要解决这个问题,您可以使用如下方法:
from PIL import Image
Image.MAX_IMAGE_PIXELS = 20000 # or None, if you are feeling adventurous