Fix #65

2026-03-24 11:22:42 -06:00
parent 993f806c54
commit fd63249e99
2 changed files with 23 additions and 1 deletions
@@ -11,7 +11,7 @@ links = [
 applications = ['Probabilistic Model Checker', 'Statistical Model Checker']
 developers = ['University of Twente', 'Saarland University']
 licenses = ['All Rights Reserved']
-inputs = ['PRISM', 'MRMC']
+inputs = ['PRISM', 'JANI']
 interfaces = ['CLI']
 maintenance = ['Actively Maintained']
 # techniques = ['CDCL']