PrototypeCommune
sahands/simple-sat
Simple recursive and iterative SAT solver written in Python.
- Propriétaire
- sahands (compte personnel)
- Étoiles
- Étoiles : 124
- Forks
- Forks : 24
- Langage
- Python
- Licence
- MIT
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de sahands
Les 2 dépôts de sahands- sahands/python-by-exampleÉtoiles : 296Alpha
D’autres dépôts Python
Tous les dépôts Python- Wholiver/metis-reverseÉtoiles : 124PythonPrototype
- Bryce-border/McLottery-AlchemistÉtoiles : 124PythonPrototype
- Esmerubphire/astrbot_plugin_feiyu_voiceÉtoiles : 124PythonPrototype
- labjack/LabJackPythonÉtoiles : 124PythonPrototype
- django-cms/cmsplugin-filerÉtoiles : 124PythonPrototype
- OpenTreeMap/otm-legacyÉtoiles : 124PythonPrototype