non-det

Racket non-determinism

Build status: ok dependency problems passing tests missing license metadata

README Download
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 checkedMonday, June 5th, 2023 1:50:48pm (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