The runtime for GenAIScript, providing the core functionality and APIs for executing scripts.
npm install @genaiscript/plugin-z3Friendly wrapper around the Z3 solver for the GenAIScript runtime.
This project may contain trademarks or logos for projects, products, or services. Authorized use of Microsoft
trademarks or logos is subject to and must follow
Microsoft's Trademark & Brand Guidelines.
Use of Microsoft trademarks or logos in modified versions of this project must not cause confusion or imply Microsoft sponsorship.
Any use of third-party trademarks or logos are subject to those third-party's policies.