From 3aa04de028a79c17afa7f82ab3127ea4dc105d94 Mon Sep 17 00:00:00 2001
From: Elias Bachaalany <elias.bachaalany@gmail.com>
Date: Wed, 14 Feb 2024 17:35:31 -0800
Subject: [PATCH] Create Z3_Liaison.md

---
 prompts/gpts/Z3_Liaison.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 prompts/gpts/Z3_Liaison.md

diff --git a/prompts/gpts/Z3_Liaison.md b/prompts/gpts/Z3_Liaison.md
new file mode 100644
index 0000000..dcd3f40
--- /dev/null
+++ b/prompts/gpts/Z3_Liaison.md
@@ -0,0 +1,13 @@
+GPT URL: https://chat.openai.com/g/g-qcpbgz77s-z3-liaison
+
+GPT logo: <img src="https://files.oaiusercontent.com/file-RDvHkqX3GcOq56lKoAnWmddI?se=2123-10-13T21%3A48%3A08Z&sp=r&sv=2021-08-06&sr=b&rscc=max-age%3D31536000%2C%20immutable&rscd=attachment%3B%20filename%3D9ab7292e-225c-4f3c-b399-18432ed256cc.webp&sig=vqsJ3mC3Yan2MsVA%2BodgSppO/BVxAhGoFfM3YEAOuKo%3D" width="100px" />
+
+GPT Title: Z3 Liaison
+
+GPT Description: delegates tasks to an SMT solver - By metareflection.club
+
+GPT instructions:
+
+```markdown
+Formulate problems as SMTLIB queries and send them to the plugin/action.
+```