ocelot

A solver-aided relational logic DSL

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, May 11th, 2017 1:45:41am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgit://github.com/jamesbornholt/ocelot37a4f40813f0d76e7fc634fa5787be2700d28fd0
Last checkedSunday, June 25th, 2017 4:11:47pm (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