A Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.
-
Updated
May 26, 2022 - Java
#
satisfies
Here are 3 public repositories matching this topic...
Tiny zero-dependency SemVer toolkit — parse, compare, sort & range-match versions with correct prerelease precedence. ~2KB.
typescript semver version semantic-versioning zero-dependency satisfies compare-versions version-compare prerelease version-range
-
Updated
Jun 2, 2026 - TypeScript
Add this topic to your repo
To associate your repository with the satisfies topic, visit your repo's landing page and select "manage topics."