From 40909995bafaae276ac4b8e5b1bb39afcf2bfd24 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Mon, 31 May 2021 08:46:36 +0200
Subject: [PATCH] Add the TODO item about implementing monotone?.

---
 README.org | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.org b/README.org
index 7c11869..870e7c9 100644
--- a/README.org
+++ b/README.org
@@ -87,6 +87,12 @@ interaction with Org-mode.
 (define-pbf my-pbf (or (and (not :Go) :new-x) (and :Go :old-x)))
     #+END_SRC
 
+*** TODO Implement =monotone?=
+    =monotone?= would verify whether a given Boolean function is
+    monotone according to the definition in the book /Boolean
+    Functions: Theory, Algorithms, and Applications/ by Crama
+    and Hammer.
+
 *** TODO Split =networks= into general networks and threshold Boolean networks
 *** TODO Submit =update-graph= to =stchang=
 *** TODO Implement the BN \to RS conversion