Geeks
amarmaduke
/
Sarah
Automated Theorem Prover for Presburger Arithmetic
Primary Language
C++
Sarah GitHub
Markdown
Readme
0
Issues
0
Stargazers
4
Watchers
Sarah
Automated Theorem Prover for Presburger Arithmetic