ocelot

A solver-aided relational logic DSL

Build status: failed missing license metadata

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 checkedThursday, November 21st, 2024 5:47:49am (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