search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Do not decrement ref count for maxed out expressions #58

Closed ajreynol closed 2 years ago

ajreynol commented 2 years ago

Fixes https://github.com/cvc5/LFSC/issues/57.