From 0d074cbf65508384afea9d599046994848e3caf1 Mon Sep 17 00:00:00 2001
From: Joshua Moerman <lakseru@gmail.com>
Date: Wed, 19 Jan 2022 14:15:01 +0100
Subject: [PATCH] updated README

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index 0ee059d..1e33ccd 100644
--- a/README.md
+++ b/README.md
@@ -22,6 +22,9 @@ flags and options are subject to change, since this is WIP.
 ```bash
 # Finding UIO sequences in a Mealy machine
 python3 satuio/uio.py --help
+
+# Finding an ADS in a Mealy machine for a set of states
+python3 satuio/ads.py --help
 ```
 
 The solver can be specified (as long as pysat supports it). The default is