search

deividrvale / CRIT

A tool for automating Rewriting Induction (RI) for Logically Constrained Term Rewriting Systems (LCTRSs)
MIT License
0 stars 0 forks source link

Fix parsing of untyped variables #31

Open WBrozius opened 2 years ago

WBrozius commented 2 years ago

E.g. in the query: 1 -><- 2 [x = y], the variables x and y are untyped.

WBrozius commented 2 years ago

Might be fixed after implementation of (the parsing of) a standard LCTRS format. (See Naoki et al.)