# stanford-centaur/smt-switch

<https://repo.masters-masters.com/en/repos/stanford-centaur/smt-switch>

[Home](https://repo.masters-masters.com/en) › [stanford-centaur](https://repo.masters-masters.com/en/owners/stanford-centaur) › [smt-switch](https://repo.masters-masters.com/en/repos/stanford-centaur/smt-switch)

stanford-centaur/smt-switch has 143 stars on GitHub. Its RepoMasters card: Prototype tier. A generic C++ API for SMT solving. It provides abstract classes…

| Field | Value |
| --- | --- |
| Owner | [stanford-centaur](https://repo.masters-masters.com/en/owners/stanford-centaur) |
| Stars | 143 |
| Forks | 56 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | None |
| Created | 2019 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [stanford-centaur/smt-switch](https://github.com/stanford-centaur/smt-switch) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by stanford-centaur

- [stanford-centaur/PyPantograph · ★ 150 · Python · Prototype](https://repo.masters-masters.com/en/repos/stanford-centaur/PyPantograph)
- [stanford-centaur/pono · ★ 136 · C++ · Prototype](https://repo.masters-masters.com/en/repos/stanford-centaur/pono)

## Nearby in C++

- [IntelligentControlSystems/ClutteredEnvironment · ★ 143 · C++ · Prototype](https://repo.masters-masters.com/en/repos/IntelligentControlSystems/ClutteredEnvironment)
- [Henglie/ElegantHLK · ★ 143 · C++ · Prototype](https://repo.masters-masters.com/en/repos/Henglie/ElegantHLK)
- [SZAILAB/MaterialDFT-Demo · ★ 143 · C++ · Prototype](https://repo.masters-masters.com/en/repos/SZAILAB/MaterialDFT-Demo)
- [ArashPartow/strtk · ★ 143 · C++ · Prototype](https://repo.masters-masters.com/en/repos/ArashPartow/strtk)
- [arq5x/bedtools · ★ 143 · C++ · Prototype](https://repo.masters-masters.com/en/repos/arq5x/bedtools)
- [cksystemsgroup/scal · ★ 143 · C++ · Prototype](https://repo.masters-masters.com/en/repos/cksystemsgroup/scal)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.