From c7d9f8190f20c82d43219b7e0de8c70dfdad5766 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 21 Nov 2016 15:05:20 +0100
Subject: [PATCH] update readme

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

diff --git a/README.md b/README.md
index a8cb7975..622b6b34 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,9 @@ It derives from [Alt-Ergo Zero](http://cubicle.lri.fr/alt-ergo-zero).
 This program is distributed under the Apache Software License version
 2.0. See the enclosed file `LICENSE`.
 
+## Documentation
+
+See https://gbury.github.io/msat/
 
 ## USAGE