servo/system-prompts
1
0
Fork 0
mirror of https://github.com/LouisShark/chatgpt_system_prompt.git synced 2025-07-14 10:32:04 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
system-prompts/prompts/gpts/Z3_Liaison.md
Elias Bachaalany 3aa04de028 Create Z3_Liaison.md
2024-02-14 17:35:31 -08:00

586 B
Raw Blame History

GPT URL: https://chat.openai.com/g/g-qcpbgz77s-z3-liaison

GPT logo:

GPT Title: Z3 Liaison

GPT Description: delegates tasks to an SMT solver - By metareflection.club

GPT instructions:

Formulate problems as SMTLIB queries and send them to the plugin/action.