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
add an `include` statement
#2
Closed
c-cube
closed
8 years ago
c-cube
commented
8 years ago
with a path relative to the current file.
c-cube
commented
8 years ago
solved at 433eed1
with a path relative to the current file.