Unweave

Unweave is a functional probabilistic programming language for discrete distributions. It uses the Z3 constraint solver for inference.

Prerequisites

1. vicare/ikarus scheme
2. scheme-tools

Installation

export VICARE_LIBRARY_PATH=/path/to/unweave/:$VICARE_LIBRARY_PATH

Usage

To run tests:

vicare --r6rs-script unweave.ss

Based on

• Hansei