logic-lib

Build status: ok passing tests missing license metadata

README Download
Authors
Documentation
    Tags
      License
        Last updatedWednesday, November 19th, 2025 6:53:25pm (UTC)
        Ring1
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaulthttps://github.com/camoy/logic.git?path=logic-lib277a0bbf83e39adc0d70909b5aa0ff49be9c8259
        Last checkedSaturday, January 3rd, 2026 3:54:28am (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