読者です 読者をやめる 読者になる 読者になる

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…