UNDER CONSTRUCTION

== TRACKS ==

 * Basic Encodings (normal lp + simple arithmetic and comparisons)
 * Advanced Encodings (everything but weak and nonHCF)
 * Optimization Encodings (everything, including weak, but nonHCF)
 * Unrestricted Encodings