• Variable Gadget
• Clause Gadget
• Clause Gadget++
• Checker Gadget
• Full Reduction
• Pot of Silver
• Pot of Gold

$$$$

← ↓ ↑ →

In an earlier version, tiles are rendered more faithfully. Check it out here (desktop only).