debjyoti0891 / PebbleGames Public

Notifications You must be signed in to change notification settings
Fork 1
Star 1

The repository provides an optimal implementation of pebble games (standard variants as well as reversible pebble game) for arbitrary DAGs using SAT.

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.gitignore		.gitignore
README.md		README.md
pebblegame.py		pebblegame.py
reg_alloc.py		reg_alloc.py
rev_pebble.py		rev_pebble.py

Repository files navigation

PebbleGames

The repository provides an optimal implementation of pebble games (standard variants as well as reversible pebble game) for arbitrary DAGs using SAT.

About

The repository provides an optimal implementation of pebble games (standard variants as well as reversible pebble game) for arbitrary DAGs using SAT.

quantum quantum-computing optimal sat technology-mapping pebble-game device-allocation

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%