Module symbolic

Modules

• dag
• symbolic_expression
• symbolic_variable

Structs

• SymbolicConstraints
  Symbolic constraints for a single AIR with interactions. The constraints contain the constraints on the logup partial sums.
• SymbolicRapBuilder
  An AirBuilder for evaluating constraints symbolically, and recording them for later use.

Functions

• get_symbolic_builder