Roulette🔗ℹ

Roulette is a research project under active development. Backwards compatibility is not guaranteed. Users who need a stable interface are encouraged to pin Roulette to a specific commit in their "info.rkt" file. See Package Sources.

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