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. See the documentation for information on how to install and use the software.