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
fix release 0.4 for win32
#21
Closed
c-cube
closed
7 years ago
c-cube
commented
7 years ago
file is a symlink, need to upload the .exe itself
file is a symlink, need to upload the .exe itself