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

cloverrose's blog

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

AcaciaをUbuntuでビルド

Acacia
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 examples/demo-lily/demo-v13.ltl --part examples/demo-lily/demo-v13.part