forged-ocelot

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

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
    License
      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 checkedThursday, December 4th, 2025 4:51:57am (UTC)
      Last editedTuesday, July 16th, 2019 6:01:16pm (UTC)
      Date addedTuesday, July 16th, 2019 5:58:50pm (UTC)
      Modules
      • forged-ocelot/lib/print.rkt
      • forged-ocelot/lang/sketch.rkt
      • forged-ocelot/lang/universe.rkt
      • forged-ocelot/lib/simplify-solve.rkt
      • forged-ocelot/scribblings/forged-ocelot.scrbl
      • forged-ocelot/engine/interpretation.rkt
      • forged-ocelot/forged-ocelot.rkt
      • forged-ocelot/engine/matrix.rkt
      • forged-ocelot/engine/engine.rkt
      • forged-ocelot/lang/bounds.rkt
      • forged-ocelot/scribblings/log.rkt
      • forged-ocelot/lib/simplify.rkt
      • forged-ocelot/lib/alloy.rkt
      • forged-ocelot/engine/symmetry.rkt
      • forged-ocelot/engine/tuple.rkt
      • forged-ocelot/main.rkt
      • forged-ocelot/engine/matrix-ops.rkt
      • forged-ocelot/lang/ast.rkt