SAT related software

Hits: 0
Research Area: Structure Based Algorithm Engineering for SAT Solving
Status: Not started  
Project page

Our SAT related software can basically be classified into two categories. We implement different SAT solvers to evaluate SAT-solving heuristics in single-threaded and multi-threaded environments. Moreover, we develop tools to analyse and visualise SAT instances and the process of state-of-the-art SAT solvers.

[ Back ]