/tarski

A system for computing with Tarski Formulas / Semi-Algebraic Sets.

Primary LanguageSMT

Stargazers