search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Fix macOS build #52

Closed alex-ozdemir closed 4 years ago

alex-ozdemir commented 4 years ago

Now that we have macOS CI set up, we can go about fixing the build/tests for it, properly.