rocketnia/nusmv-if

Interactive fiction model checking experiments in NuSMV.