tree-exploration

Here is 1 public repository matching this topic...

bobjen / dice

A poor-man's prolog, in rust, for doing exhaustive testing. It lets you write singlethreaded code with calls to choose(n) that return a value in 0..n-1, and executes that code in all possible ways for all possible combinations of values for the chooses.

dice rust property-testing path-coverage exhaustive-testing tree-exploration

Updated Mar 29, 2026
Rust

Add this topic to your repo

To associate your repository with the tree-exploration topic, visit your repo's landing page and select "manage topics."

Learn more