Simplify treatment of terminal vs. nonterminal symbols

muraliadithya / mini-sygus

a constraint-based syntax-guided synthesis (SyGuS) engine

9 stars 0 forks source link

Closed eionblanc closed 3 years ago

eionblanc commented 3 years ago

Combine process_terminals and intuit functions; re-formulate terminal symbols

eionblanc commented 3 years ago

fixed by commit 1548823