State-space exploration for Clojure, with depth-first, breadth-first, simple-path, post-order traversal, and best-first search plus worklist-based state propagation over explicit or generated state spaces.
The State-space documentation PDF describes the algorithms and API. The companion Worked examples PDF applies them to a range of problems.
Both PDFs are built from the documentation sources in this repository: state-space.tex and worked-examples.tex.
Add the library to your deps.edn dependencies:
{:deps
{org.clojars.cao/state-space {:mvn/version "0.2.0"}}}
Can you improve this documentation?Edit on GitHub
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |