non-det

Racket non-determinism

Build status: ok dependency problems passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedFriday, December 2nd, 2022 10:44:31pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jeapostrophe/non-det.git4b6d4aec79680b362efcc32a0589e85e97d868c9
Last checkedTuesday, January 31st, 2023 6:24:21am (UTC)
Last editedMonday, November 20th, 2017 4:48:09pm (UTC)
Date addedN/A
Modules
  • non-det/opt.rkt
  • non-det/main.rkt
  • non-det/logic.rkt
  • non-det/examples/steam-cart.rkt
  • non-det/examples/linear-std.rkt