Hi
Screamer (
https://nikodemus.github.io/screamer/) is a Lisp library that:
"Screamer provides a nondeterministic choice-point operator, a backtracking mechanism, and a forward propagation facility."
Is there an equivalent library available in Smalltalk?
Thanks
Paul