# formalsec/smtml

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/formalsec-smtml).**

79 stars · 17 forks · OCaml · MIT

## Links

- GitHub: https://github.com/formalsec/smtml
- Homepage: https://formalsec.github.io/smtml/smtml/
- awesome-repositories: https://awesome-repositories.com/repository/formalsec-smtml.md

## Description

An SMT solver frontend for OCaml

## Tags

### Part of an Awesome List

- [Program Analysis](https://awesome-repositories.com/f/awesome-lists/devtools/program-analysis.md) — Frontend library for interfacing with multiple SMT solvers.