logic-games

Modelling logic games and puzzles in First Order Logic

Contains the code from the book "Modelling logic games and puzzles in First Order Logic" https://link.springer.com/book/10.1007/978-3-030-62547-4

Alternative resources https://users.utcluj.ro/~agroza/puzzles/maloga/

Install Prover9/Mace4 from https://github.com/ai4reason/Prover9