Add README

jcpaik · Jun 25, 2023 · f66ff87 · f66ff87
1 parent e865e4d
commit f66ff87
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,9 @@
+# An SAT encoding of Erdos-Szekeres conjecture
+
+## Dependencies
+
+- [fire](https://github.com/google/python-fire) python library
+  - Either manually install it or use [pipenv](https://pypi.org/project/pipenv/)
+- [kissat](https://github.com/arminbiere/kissat) in `$PATH`
+
+## Usage