Closed miquelramirez closed 1 year ago
examples/fstrips_exists_precs
tarski
All substantive tests pass.
examples/fstrips_exists_precs
showing a Pythonic and relatively straightforward way to use thetarski
parser.