logic-lib

Build status: ok passing tests missing license metadata

README Download
Authors
Documentation
    Tags
      License
        Last updatedTuesday, July 1st, 2025 2:55:55pm (UTC)
        Ring1
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaulthttps://github.com/camoy/logic.git?path=logic-libf100d00c3cc3cf8d705c3dcd23f5a3bb43f93b8e
        Last checkedTuesday, November 18th, 2025 4:53:07am (UTC)
        Last editedMonday, June 30th, 2025 9:01:57pm (UTC)
        Date addedMonday, June 30th, 2025 9:01:57pm (UTC)
        Modules
        • logic/private/sl/cycles.rkt
        • logic/private/qea/trie.rkt
        • logic/private/pltl/relation.rkt
        • logic/qea.rkt
        • logic/private/sl/solver.rkt
        • logic/dfa.rkt
        • logic/nfa.rkt
        • logic/private/pltl/monitor.rkt
        • logic/re.rkt
        • logic/private/pltl/formula.rkt
        • logic/match.rkt
        • logic/sl.rkt
        • logic/pltl.rkt
        • logic/private/qea/compile.rkt