The repository provides an optimal implementation of pebble games (standard variants as well as reversible pebble game) for arbitrary DAGs using SAT.
-
Updated
Oct 28, 2019 - Python
The repository provides an optimal implementation of pebble games (standard variants as well as reversible pebble game) for arbitrary DAGs using SAT.
Java Pebble Game Algorithm, detailing an algorithmic implementation of the Pebble Game and a code solution. Includes test suite and example games with variable inputs.
Multithreaded game & test suite, created using Java and JUnit 4 in 2019.
Add a description, image, and links to the pebble-game topic page so that developers can more easily learn about it.
To associate your repository with the pebble-game topic, visit your repo's landing page and select "manage topics."