Adding the agenda accessors
An add-to-agenda function
Finishing the curcuit example
Setting out an example api for a constraint system
The adder function for the constraint system
The multiplier and constant makers
The connector maker
Finishing the example code
Experiments with the constraints