jacky860226 / JinkelaSat

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

jacky860226/JinkelaSat Stargazers