About

Metadata

  • Last updated , by ArieMiddelkoop
  • License LicenseRef-LGPL
  • Categories Development
  • Maintained by: Arie Middelkoop <ariem@cs.uu.nl>

  • Lottery factor: 0

Links

Installation

Readme

Stepwise monad: stepwise computations, providing resolution of non-deterministic choice, breadth-first search strategies and online results.