cloverrose's blog

Python, Machine learning, Emacs, CI/CD, Webアプリなど

Acacia

AcaciaをUbuntuでビルド

sudo apt-get install libglib2.0-bin sudo apt-get install libglib2.0-dev pip install python-graph-core sudo apt-get install graphviz sudo apt-get install libgraphviz-dev pip install pygraphviz make install python acacia_plus.py --ltl exampl…