Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits
PrototypeCommune

iliazintchenko/agent-sat

Agent learns to become the worlds top expert on SAT

Propriétaire
iliazintchenko (compte personnel)
Étoiles
Étoiles : 182
Forks
Forks : 7
Langage
Python
Licence
MIT
Création
2026
Sujets
boolean-satisfiabilityboolean-satisfiability-problemsat-solver
Rang
Prototype (100 à 249 ★) Ce que veut dire ce rang
Voir sur GitHub

D’autres dépôts Python

Tous les dépôts Python