PrototypeCommon
sahands/simple-sat
Simple recursive and iterative SAT solver written in Python.
- Owner
- sahands (personal account)
- Stars
- Stars: 124
- Forks
- Forks: 24
- Language
- Python
- License
- MIT
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by sahands
All 2 repos by sahands- sahands/python-by-exampleStars: 296Alpha
Nearby in Python
All Python repos- TttMc/mcd-budget-biteStars: 124PythonPrototype
- ant-intl/BizAgentBenchStars: 124PythonPrototype
- Wholiver/metis-reverseStars: 124PythonPrototype
- labjack/LabJackPythonStars: 124PythonPrototype
- django-cms/cmsplugin-filerStars: 124PythonPrototype
- OpenTreeMap/otm-legacyStars: 124PythonPrototype