search

muraliadithya / mini-sygus

a constraint-based syntax-guided synthesis (SyGuS) engine
9 stars 0 forks source link

Allow for multiple lemmas in a single input file #7

Closed eionblanc closed 3 years ago

eionblanc commented 3 years ago

We will maintain indexing throughout entire file so that a second lemma synthesis doesn't re-declare functions.