Module compiler 

Modules

generic

parser

sonar

thermal

Structs

Assertion

ConstraintProblem

A parsed constraint problem ready for FLUX compilation.

Variable

Enums

Constraint

Functions

compile

Compile a constraint problem into FLUX bytecodes.

parse_claim

Parse a natural language claim into a constraint problem.