Contributing
CRAFT Lab is committed to open source development. Our tools and infrastructure code will be available on GitHub. Contributions, bug reports, and feature requests are welcome.
Tools
Services/Tools, Access, and Contributing
CRAFT Lab develops and hosts production-grade, open software infrastructure for formal reasoning and AI. A core part of our mission is making powerful tools genuinely accessible to researchers and educators.
Our tools and services leverage world-class computing infrastructure at the Texas Advanced Computing Center (TACC).
Tools and Services
Coming soon! Tools and services will be listed here as they become available.
Access
CRAFT Lab tools and services are intended to be open and accessible to the UT Austin research community and beyond. If you are interested in early access or would like to discuss a specific use case, please contact Joe Stubbs.