Home / Ada/SPARK / world-cup-sokerban world-cup-sokerban This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, Mac OS-X and GNU Linux. Package 4 stars GitHub Back to Ada/SPARK