JoaoLages / SATPLAN

Development of a SAT solver, following the SATPLAN, in Python for the course of Artificial Intelligence

Geek Repo

Github PK Tool