- ๐ I'm currently studying BSc in Computer Science at Amirkabir University of Technology.
- ๐ I'm interested in Reinforcement Learning!
ilyakhalafi / sat-solver Goto Github PK
View Code? Open in Web Editor NEWA self-contained implementation of Linear & Cubic SAT Solvers from Logic in Computer Science by Huth & Ryan
License: MIT License