mirror of
https://github.com/Z3Prover/z3
synced 2025-04-18 06:39:02 +00:00
10 lines
148 B
JSON
10 lines
148 B
JSON
{
|
|
"devDependencies": {
|
|
"@inquirer/prompts": "^5.3.8",
|
|
"genaiscript": "^1.63.0"
|
|
},
|
|
"scripts": {
|
|
"gcm": "genaiscript run gcm"
|
|
}
|
|
}
|