From 69de932f9116b30adfd689d38e35ace63aef0e2d Mon Sep 17 00:00:00 2001
From: filip <“filip.rabiega@gmail.com”>
Date: Fri, 16 Aug 2024 14:11:00 +0200
Subject: added api

---
 api/routes.ml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 api/routes.ml

(limited to 'api/routes.ml')

diff --git a/api/routes.ml b/api/routes.ml
new file mode 100644
index 0000000..74b78ae
--- /dev/null
+++ b/api/routes.ml
@@ -0,0 +1,21 @@
+(* Define the routes for our api *)
+
+open Handlers
+
+let routes = [
+
+  Dream.get "/health"
+    health_endpoint;
+
+  Dream.post "/validate_formula"
+    validate_formula_endpoint;
+
+  Dream.post "/satisfy"
+    satisfy_endpoint;
+
+  Dream.post "/sequent_proof"
+    sequent_proof_endpoint;
+
+  (* /tableau_calculus_proof *)
+
+]
-- 
cgit v1.2.3