tarski icon indicating copy to clipboard operation
tarski copied to clipboard

Published 20 hours ago • verified publisher icon aig-upf

Finish implementation of simple evaluator

Open gfrances opened this issue 4 years ago • 0 comments

The evaluate method at <src/devel/src/tarski/evaluators/simple.py> has been unfinished for a long time, and still does not support quantification. We should finish this.

gfrances avatar Mar 12 '20 10:03 gfrances