issues
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
cleanup duplicates in models
#9
Closed
c-cube
closed
8 years ago
c-cube
commented
8 years ago
both:
sets of equations that occur multiple times (after merging)
variables bound in several equations
both: