# thomasjball/PyExZ3

<https://repo.masters-masters.com/en/repos/thomasjball/PyExZ3>

[Home](https://repo.masters-masters.com/en) › [thomasjball](https://repo.masters-masters.com/en/owners/thomasjball) › [PyExZ3](https://repo.masters-masters.com/en/repos/thomasjball/PyExZ3)

thomasjball/PyExZ3 has 345 stars on GitHub. Its RepoMasters card: Alpha tier. Python Exploration with Z3 Language: HTML.

| Field | Value |
| --- | --- |
| Owner | [thomasjball](https://repo.masters-masters.com/en/owners/thomasjball) |
| Stars | 345 |
| Forks | 51 |
| Language | [HTML](https://repo.masters-masters.com/en/languages/html) |
| License | None |
| Created | 2014 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [thomasjball/PyExZ3](https://github.com/thomasjball/PyExZ3) |

## Repository

Python Exploration with Z3

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in HTML

- [ohansemmanuel/Understanding-Flexbox · ★ 345 · HTML · Alpha](https://repo.masters-masters.com/en/repos/ohansemmanuel/Understanding-Flexbox)
- [ThePacielloGroup/cupper · ★ 345 · HTML · Alpha](https://repo.masters-masters.com/en/repos/ThePacielloGroup/cupper)
- [nestoris/Win98SE · ★ 345 · HTML · Alpha](https://repo.masters-masters.com/en/repos/nestoris/Win98SE)

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