non-det

Racket non-determinism

Build status: failed

Authors
Documentation
Tags
Last updatedMonday, December 4th, 2017 8:07:37pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jeapostrophe/non-det.gite26cdb7cb8152df912e239323fad8bb6b3a8b05f
Last checkedWednesday, December 13th, 2017 12:09:18am (UTC)
Last editedMonday, November 20th, 2017 4:48:09pm (UTC)
Modules
  • non-det/examples/steam-cart.rkt
  • non-det/logic.rkt
  • non-det/examples/linear-std.rkt
  • non-det/main.rkt
  • non-det/opt.rkt