preparing the SAT layer for augmentation and backtracking. The current way of augmenting/backtracking should be refactored.
Merge branch 'razor' of github.com:salmans/Razor into razor