Roulette🔗ℹ

Roulette is an inference-aided host language, built on top of Rosette, that provides first-class support for measurable values. The programmer-facing interface to Roulette is nearly the same as Rosette, except values can be associated with measures. Instead of an SMT solver for the backend, Roulette uses specialized solvers intended for inference.

Roulette is available on Racket’s package server. There are two ways to install it.

• From DrRacket you can install Roulette by going to File, selecting Install Package, entering roulette into the package source field, and hitting Update.

• From the command line you can install Roulette through raco:

  $ raco pkg install roulette

Roulette is currently under active development so expect frequent backwards-incompatible changes.