Building a model for game
Budget: $30 – $250 AUD
You need to model a Combinatorial 1-Person Puzzle Game via AI Planning and SAT solving. The goal is to model the puzzle game IQ Arrows using AI planning and propositional logic and compare the two models empirically by solving them using different planning systems and SAT solvers.