search

nunchaku-inria / nunchaku

Model finder for higher-order logic
https://nunchaku-inria.github.io/nunchaku/
BSD 2-Clause "Simplified" License
42 stars 3 forks source link

CVC4 bug NodeValue #14

Closed ML44 closed 8 years ago

ML44 commented 8 years ago

bug.txt

c-cube commented 8 years ago

works for me...