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

Create Z3_MaxSAT_Liasion.md

Browse source
This commit is contained in:
Elias Bachaalany 2024-02-14 17:48:46 -08:00
parent b1b9abec7d
commit b292179a26
1 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

15
prompts/gpts/Z3_MaxSAT_Liasion.md Normal file
View file

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