non-det

Racket non-determinism

Build status: ok dependency problems passing tests

README Download
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 checkedMonday, April 22nd, 2019 2:06:14pm (UTC)
    Last editedMonday, November 20th, 2017 4:48:09pm (UTC)
    Date addedN/A
    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