Unweave is a functional probabilistic programming language for discrete distributions. It uses the Z3 constraint solver for inference.
- vicare/ikarus scheme
- scheme-tools
export VICARE_LIBRARY_PATH=/path/to/unweave/:$VICARE_LIBRARY_PATH
To run tests:
vicare --r6rs-script unweave.ss
- Hansei