search

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless
Apache License 2.0
88 stars 20 forks source link

Minor fixes for CVC4 1.8 #132

Closed jad-hamza closed 3 years ago

samarion commented 3 years ago

Could you please rebase?