Wednesday, Jul 17
SMT Solvers, Integer Linear Programming
made by shapr, submitted by nicholasbs
Using an SMT solver and linear programming to play the game Endless Sky
Joy of Computing
A new link every weekday from the RC community A new link every weekday from the RC community