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 updatedTuesday, August 4th, 2020 1:32:22pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/cemcutting/forged-ocelot.gitf28a7012348b9096ede5cb1da64ef6544686b205
Last checkedSaturday, December 5th, 2020 4:23:13am (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