search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Include for cint #89

Closed ajreynol closed 1 year ago

ajreynol commented 1 year ago

This fixes compile issues I am getting when trying to compile lfsc.