Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

stanford-centaur/smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Owner: stanford-centaur (organization)
Stars: Stars: 143
Forks: Forks: 56
Language: C++
License: None
Created: 2019
Tier: Prototype (100 to 249 ★) What this tier means

More repos by stanford-centaur

All 3 repos by stanford-centaur

stanford-centaur/PyPantographStars: 150PythonPrototype
stanford-centaur/ponoStars: 136C++Prototype

Nearby in C++

IntelligentControlSystems/ClutteredEnvironmentStars: 143C++Prototype
ZunhaiSu/OScaR-KV-QuantStars: 143C++Prototype
dougchansan/mk8-recompStars: 143C++Prototype
ArashPartow/strtkStars: 143C++Prototype
arq5x/bedtoolsStars: 143C++Prototype
ccrma/chuginsStars: 143C++Prototype