non-det

Racket non-determinism

Build status: ok dependency problems passing tests missing license metadata

Download
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 checkedFriday, July 11th, 2025 10:22:40am (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