Closed junkil-park closed 1 year ago
Updated dev_setup.sh to install graphviz upon the -y option
-y
To install graphviz together with other Prover depenedency
graphviz
yes
./dev_setup -y
Updated dev_setup.sh to install graphviz upon the
-yoptionMotivation
To install
graphviztogether with other Prover depenedencyHave you read the Contributing Guidelines on pull requests?
yes
Test Plan
./dev_setup -y