# stanford-centaur/pono

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

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

stanford-centaur/pono has 136 stars on GitHub. Its RepoMasters card: Prototype tier. Pono: A flexible and extensible SMT-based model checker Language: C++.

| Field | Value |
| --- | --- |
| Owner | [stanford-centaur](https://repo.masters-masters.com/en/owners/stanford-centaur) |
| Stars | 136 |
| Forks | 46 |
| 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/pono](https://github.com/stanford-centaur/pono) |

## Repository

Pono: A flexible and extensible SMT-based model checker

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/smt-switch · ★ 143 · C++ · Prototype](https://repo.masters-masters.com/en/repos/stanford-centaur/smt-switch)

## Nearby in C++

- [shuimo0413/yosuga-no-sora-remake · ★ 136 · C++ · Prototype](https://repo.masters-masters.com/en/repos/shuimo0413/yosuga-no-sora-remake)
- [TheRunaway5/Phase-Distorter · ★ 136 · C++ · Prototype](https://repo.masters-masters.com/en/repos/TheRunaway5/Phase-Distorter)
- [velkajelka/ableton-linux · ★ 136 · C++ · Prototype](https://repo.masters-masters.com/en/repos/velkajelka/ableton-linux)
- [facebookarchive/phpembed · ★ 136 · C++ · Prototype](https://repo.masters-masters.com/en/repos/facebookarchive/phpembed)
- [r0adrunner/Space2Ctrl · ★ 136 · C++ · Prototype](https://repo.masters-masters.com/en/repos/r0adrunner/Space2Ctrl)
- [hobuinc/mgrs · ★ 136 · C++ · Prototype](https://repo.masters-masters.com/en/repos/hobuinc/mgrs)

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