From 1fd226183e99bb84ee3f4578535e37ab45bdaec5 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 7 Jul 2021 22:21:52 -0400
Subject: [PATCH] wip: add small SMT solver for the guide

---
 doc/dune            |  8 ++++++++
 doc/small_solver.ml | 13 +++++++++++++
 2 files changed, 21 insertions(+)
 create mode 100644 doc/small_solver.ml

diff --git a/doc/dune b/doc/dune
index 683e3678..6b6253fd 100644
--- a/doc/dune
+++ b/doc/dune
@@ -11,4 +11,12 @@
 
 (executable
   (name mdx_runner)
+  (modules mdx_runner)
+  (modes native))
+
+(executable
+  (name small_solver)
+  (modules small_solver)
+  (flags :standard -warn-error -a+8)
+  (libraries containers sidekick.core sikekick-base sikekick-base.solver)
   (modes native))
diff --git a/doc/small_solver.ml b/doc/small_solver.ml
new file mode 100644
index 00000000..040f1395
--- /dev/null
+++ b/doc/small_solver.ml
@@ -0,0 +1,13 @@
+
+(** A small SMT solver as a demo for Sidekick *)
+
+
+
+
+
+
+(** Main.
+
+    Here we just read the name of the *)
+
+