Closed miquelramirez closed 10 months ago
We need to add to the README.md instructions about how to setup gringo and friends for tarski.
README.md
gringo
tarski
We need to add to the
README.md
instructions about how to setupgringo
and friends fortarski
.