forged-ocelot

A fork of James Bornholt's Ocelot solver for relational model finding, for use in Forge.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, August 3rd, 2019 2:54:30pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/cemcutting/forged-ocelot.gitf28a7012348b9096ede5cb1da64ef6544686b205
Last checkedMonday, October 14th, 2019 11:16:54pm (UTC)
Last editedTuesday, July 16th, 2019 6:01:16pm (UTC)
Date addedTuesday, July 16th, 2019 5:58:50pm (UTC)
Modules
  • forged-ocelot/lang/universe.rkt
  • forged-ocelot/lib/simplify.rkt
  • forged-ocelot/lang/sketch.rkt
  • forged-ocelot/forged-ocelot.rkt
  • forged-ocelot/scribblings/forged-ocelot.scrbl
  • forged-ocelot/lib/alloy.rkt
  • forged-ocelot/lib/simplify-solve.rkt
  • forged-ocelot/engine/matrix-ops.rkt
  • forged-ocelot/engine/engine.rkt
  • forged-ocelot/engine/symmetry.rkt
  • forged-ocelot/engine/tuple.rkt
  • forged-ocelot/lang/bounds.rkt
  • forged-ocelot/engine/matrix.rkt
  • forged-ocelot/scribblings/log.rkt
  • forged-ocelot/engine/interpretation.rkt
  • forged-ocelot/lib/print.rkt
  • forged-ocelot/lang/ast.rkt
  • forged-ocelot/main.rkt