S

searchtree

Library with to represent strongly encapsulated non-deterministic computations as a search tree