Giters

JoaoLages / SATPLAN

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SATPLAN

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

About

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

Languages

Language:Python 100.0%