I'm trying to use NuSMV as a model checker in java. However, I'm not able to find the related JAR library online.
The only one I've found is provided on here for which the download link doesn't work anymore. Apparently, the library exists but the access link is not working.
Does anyone know how I can access NuSMV java API library or know of any alternative way?