Created Readme

debjyoti0891 · Oct 25, 2019 · e3ea6f1 · e3ea6f1
1 parent ed34627
commit e3ea6f1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,2 @@
+# PebbleGames
+The repository provides an optimal implementation of pebble games (standard variants as well as reversible pebble game) for arbitrary DAGs using SAT.