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