# sahands/simple-sat

<https://repo.masters-masters.com/en/repos/sahands/simple-sat>

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

sahands/simple-sat has 124 stars on GitHub. Its RepoMasters card: Prototype tier. Simple recursive and iterative SAT solver written in Python. Language: Python.

| Field | Value |
| --- | --- |
| Owner | [sahands](https://repo.masters-masters.com/en/owners/sahands) |
| Stars | 124 |
| Forks | 24 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2014 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [sahands/simple-sat](https://github.com/sahands/simple-sat) |

## Repository

Simple recursive and iterative SAT solver written in Python.

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

## More repos by sahands

- [sahands/python-by-example · ★ 296 · Alpha](https://repo.masters-masters.com/en/repos/sahands/python-by-example)

## Nearby in Python

- [TttMc/mcd-budget-bite · ★ 124 · Python · Prototype](https://repo.masters-masters.com/en/repos/TttMc/mcd-budget-bite)
- [ant-intl/BizAgentBench · ★ 124 · Python · Prototype](https://repo.masters-masters.com/en/repos/ant-intl/BizAgentBench)
- [xyzhangxin/sony-a6700-powerful · ★ 124 · Python · Prototype](https://repo.masters-masters.com/en/repos/xyzhangxin/sony-a6700-powerful)
- [labjack/LabJackPython · ★ 124 · Python · Prototype](https://repo.masters-masters.com/en/repos/labjack/LabJackPython)
- [django-cms/cmsplugin-filer · ★ 124 · Python · Prototype](https://repo.masters-masters.com/en/repos/django-cms/cmsplugin-filer)
- [OpenTreeMap/otm-legacy · ★ 124 · Python · Prototype](https://repo.masters-masters.com/en/repos/OpenTreeMap/otm-legacy)

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