zepholus / satrl

Implementation of a branching heuristic of a SAT Solver using Q-Learning

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SATRL

El codi anterior és original d'aquest repositori. Les següents modificacions s'han implementat per generar un solucionador tal que, cada vegada que s'ha de prendre una decisió, l'execució es pari, un agent extern pugui prendre la decisió corresponent, i l'execució pugui continuar.

About

Implementation of a branching heuristic of a SAT Solver using Q-Learning


Languages

Language:Jupyter Notebook 100.0%