PrototypeCommon
iliazintchenko/agent-sat
Agent learns to become the worlds top expert on SAT
- Owner
- iliazintchenko (personal account)
- Stars
- Stars: 182
- Forks
- Forks: 7
- Language
- Python
- License
- MIT
- Created
- 2026
- Topics
- boolean-satisfiabilityboolean-satisfiability-problemsat-solver
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Python
All Python repos- HRuiCcc/RuiC-motion-reelStars: 182PythonPrototype
- duyongan/dots-agentStars: 182PythonPrototype
- black-forest-labs/flux-3-image-kleinStars: 182PythonPrototype
- linuxmint/mintinstallStars: 182PythonPrototype
- tdedecko/hungarian-algorithmStars: 182PythonPrototype
- Pylons/pyramid_cookbookStars: 182PythonPrototype