Sigma is a probabilistic programming language. It allows you to specify arbitrarily complex probabilistic models as functional programs, and provides inference procedures to answer questions about the model. Sigma’s inference algorithms combine modern statistical inference methods with abstract interpretation, SAT solving, and non-linear constraint solving.