ocelot

A solver-aided relational logic DSL

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 4:56:38pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/jamesbornholt/ocelot03c5d69184f6fac675d206dad8a26eac89baf777
Last checkedMonday, August 21st, 2017 2:39:17am (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/symmetry-test.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