From 3124f49cde5926e8e7076437a8787f84df7cdc63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Radek=20Hu=C5=A1ek?= <husek@iuuk.mff.cuni.cz>
Date: Tue, 1 Feb 2022 18:37:56 +0100
Subject: [PATCH] add README

---
 README.md | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..9fc3275
--- /dev/null
+++ b/README.md
@@ -0,0 +1,9 @@
+CDC Counting
+============
+
+Python implementation of the framework to count objects on graphs
+described in Ph.D. thesis "Structure of Flow-continuous Mappings
+in Algebraic Context" (Radek Hušek, 2022). The expriments are
+focused on counting circuit double covers. Most of the programs
+require SageMath.
+
-- 
GitLab