SAT Encoding
This book chapter explains how the SAT adapter is built, the generic patterns that SAT rules follow, and the concrete SAT rule implementations, including references to the code files where you can find each rule.
Important note: The concrete SAT rule implementation part of this chapter will change frequently, as the rules are still in the process of implementation and optimization. The general principles of how the adapter and the SAT rules are built, on the other hand, are more likely to stay the same. Please keep this in mind when reading this chapter.