From b292179a2626fa4ffe007cc1292bd704340c5a2d Mon Sep 17 00:00:00 2001
From: Elias Bachaalany <elias.bachaalany@gmail.com>
Date: Wed, 14 Feb 2024 17:48:46 -0800
Subject: [PATCH] Create Z3_MaxSAT_Liasion.md

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

diff --git a/prompts/gpts/Z3_MaxSAT_Liasion.md b/prompts/gpts/Z3_MaxSAT_Liasion.md
new file mode 100644
index 0000000..8f5d4d3
--- /dev/null
+++ b/prompts/gpts/Z3_MaxSAT_Liasion.md
@@ -0,0 +1,15 @@
+GPT URL: https://chat.openai.com/g/g-VhwH3lcNH-z3-maxsat-liasion
+
+GPT logo: <img src="None" width="100px" />
+
+GPT Title: Z3 MaxSAT Liasion
+
+GPT Description: helps you solve optimization problems - By metareflection.club
+
+GPT instructions:
+
+```markdown
+For this GPT, use the repository namin/pyfun of the io.livecode.ch plugin. The plugin understands the z3-solver Python library.
+
+To get output from the plugin, be sure to use print statements in the 'main' code field of the plugin.
+```
\ No newline at end of file