ocelot

A solver-aided relational logic DSL

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, April 15th, 2017 2:09:20am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgit://github.com/jamesbornholt/ocelot172cb4927e4d63d41153bb230771e7cedd3d7172
Last checkedFriday, April 28th, 2017 1:21:45pm (UTC)
Last editedWednesday, April 12th, 2017 4:02:19am (UTC)
Modules
  • ocelot/lib/simplify.rkt
  • ocelot/test/util.rkt
  • ocelot/engine/matrix-ops.rkt
  • ocelot/test/symbolic/alloy/ceilingsandfloors.rkt
  • ocelot/lang/sketch.rkt
  • ocelot/lib/simplify-solve.rkt
  • ocelot/test/symbolic/alloy/basic.rkt
  • ocelot/engine/tuple.rkt
  • ocelot/test/symbolic/symbolic-test.rkt
  • ocelot/lang/universe.rkt
  • ocelot/engine/engine.rkt
  • ocelot/lib/alloy.rkt
  • ocelot/lang/ast.rkt
  • ocelot/lang/bounds.rkt
  • ocelot/test/symbolic/simplify-solve-test.rkt
  • ocelot/engine/interpretation.rkt
  • ocelot/test/symbolic/alloy/test.rkt
  • ocelot/lib/print.rkt
  • ocelot/ocelot.rkt
  • ocelot/test/symbolic/simplify-test.rkt
  • ocelot/scribblings/ocelot.scrbl
  • ocelot/scribblings/log.rkt
  • ocelot/engine/matrix.rkt
  • ocelot/test/concrete/concrete-test.rkt
  • ocelot/engine/symmetry.rkt
  • ocelot/main.rkt