/smt-project

Simple smt solver for a class project

Primary LanguageOCamlGNU General Public License v3.0GPL-3.0

Stargazers