# zwegner/x86-sat

<https://repo.masters-masters.com/en/repos/zwegner/x86-sat>

[Home](https://repo.masters-masters.com/en) › [zwegner](https://repo.masters-masters.com/en/owners/zwegner) › [x86-sat](https://repo.masters-masters.com/en/repos/zwegner/x86-sat)

zwegner/x86-sat has 325 stars on GitHub. Its RepoMasters card: Alpha tier. Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

| Field | Value |
| --- | --- |
| Owner | [zwegner](https://repo.masters-masters.com/en/owners/zwegner) |
| Stars | 325 |
| Forks | 13 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | None |
| Created | 2019 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [zwegner/x86-sat](https://github.com/zwegner/x86-sat) |

## Repository

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

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

## More repos by zwegner

- [zwegner/faster-utf8-validator · ★ 222 · C · Prototype](https://repo.masters-masters.com/en/repos/zwegner/faster-utf8-validator)
- [zwegner/x86-info-term · ★ 127 · Python · Prototype](https://repo.masters-masters.com/en/repos/zwegner/x86-info-term)

## Nearby in Python

- [qshanx/docs-governance · ★ 325 · Python · Alpha](https://repo.masters-masters.com/en/repos/qshanx/docs-governance)
- [alexan0618/zkky · ★ 325 · Python · Alpha](https://repo.masters-masters.com/en/repos/alexan0618/zkky)
- [erikwb/blueferry · ★ 325 · Python · Alpha](https://repo.masters-masters.com/en/repos/erikwb/blueferry)
- [PyMVPA/PyMVPA · ★ 325 · Python · Alpha](https://repo.masters-masters.com/en/repos/PyMVPA/PyMVPA)
- [phunt/zktop · ★ 325 · Python · Alpha](https://repo.masters-masters.com/en/repos/phunt/zktop)
- [last-partizan/pytils · ★ 325 · Python · Alpha](https://repo.masters-masters.com/en/repos/last-partizan/pytils)

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