ocelot

A solver-aided relational logic DSL

Build status: failed missing license metadata

Documentation README Code
Authors
Documentation
Tags
License
    Last updatedFriday, October 4th, 2024 2:47:32am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/jamesbornholt/ocelot58b687cdf22f6c1db4b3322fdbc5b82e9d1bce2b
    Last checkedWednesday, December 3rd, 2025 6:53:59pm (UTC)
    Last editedWednesday, April 12th, 2017 4:02:19am (UTC)
    Date addedN/A
    Modules
    • ocelot/test/symbolic/symmetry-test.rkt
    • ocelot/test/symbolic/alloy/basic.rkt
    • ocelot/test/symbolic/simplify-test.rkt
    • ocelot/test/concrete/concrete-test.rkt
    • ocelot/ocelot.rkt
    • ocelot/main.rkt
    • ocelot/engine/interpretation.rkt
    • ocelot/engine/tuple.rkt
    • ocelot/test/symbolic/alloy/ceilingsandfloors.rkt
    • ocelot/scribblings/log.rkt
    • ocelot/engine/symmetry.rkt
    • ocelot/lang/ast.rkt
    • ocelot/test/symbolic/alloy/test.rkt
    • ocelot/test/symbolic/symbolic-test.rkt
    • ocelot/lang/universe.rkt
    • ocelot/engine/matrix-ops.rkt
    • ocelot/scribblings/ocelot.scrbl
    • ocelot/test/symbolic/simplify-solve-test.rkt
    • ocelot/lib/print.rkt
    • ocelot/lang/bounds.rkt
    • ocelot/test/util.rkt
    • ocelot/lib/simplify-solve.rkt
    • ocelot/lib/alloy.rkt
    • ocelot/lib/simplify.rkt
    • ocelot/lang/sketch.rkt
    • ocelot/engine/matrix.rkt
    • ocelot/engine/engine.rkt