Logician
Logician copied to clipboard
Store constraints as values that can be inspected and manipulated
In order to optimize based on constraints, we need to be able to inspect constraints to some extent—instead of immediately evaluating them.