non-determinism topic

List non-determinism repositories

streamly

851
Stars
63
Forks
Watchers

High performance, concurrent functional programming abstractions

This program implements a nondeterministic Turing machine simulator in C.

FOND4LTLf

15
Stars
3
Forks
Watchers

FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems