Giters

bprovanbessell / SATfeatPy

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add timeout for dpll probing

bprovanbessell opened this issue · comments

commented

Probably good to have a timeout for the dpll probing methods