README references missing files

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

Closed maxvonhippel closed 3 years ago

maxvonhippel commented 3 years ago

The README references the file docs/examples/first_order.nun, which is not actually present in the repository.

I think either the missing file should be added, or, the README should be updated to correctly reference the (I assume identical?) file here.

maxvonhippel commented 3 years ago

Thanks!