Proof logging for some interesting constraint propagation algorithms

Date: