servo/system-prompts
1
0
Fork 0
mirror of https://github.com/LouisShark/chatgpt_system_prompt.git synced 2025-07-07 07:10:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Create Z3_Liaison.md

Browse source
This commit is contained in:
Elias Bachaalany 2024-02-14 17:35:31 -08:00
parent afcbd69f72
commit 3aa04de028
1 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
prompts/gpts/Z3_Liaison.md Normal file
View file

@ -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.
```