Local AI Dogelog Examples
Example 31: Railgun Solver
More..
Example 32: Variable Ordering
More..