Giters

JianyuTANG / SAT-Solver

A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dpll-algorithmcdcl-algorithm

This repository is not active

About

A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.

dpll-algorithmcdcl-algorithm

Languages

Language:C++ 97.9%Language:CMake 2.1%