search

epfl-lara / inox

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

Emit set-logic all for cvc4, cvc5, and z3 #207

Closed samuelchassot closed 7 months ago

samuelchassot commented 7 months ago

@mario-bucev @vkuncak