# Functions
NewR1CS is a constructor for R1CS.
NewSparseR1CS is a constructor for SparseR1CS.
# Structs
CoeffTable ensure we store unique coefficients in the constraint system.
R1CSSolution represent a valid assignment to all the variables in the constraint system.
SparseR1CSSolution represent a valid assignment to all the variables in the constraint system.
UnsatisfiedConstraintError wraps an error with useful metadata on the unsatisfied constraint.