rafoo / nunchaku Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nunchaku-inria/nunchaku
Model finder for higher-order logic
Home Page: https://nunchaku-inria.github.io/nunchaku/
License: BSD 2-Clause "Simplified" License