Giters
ShaoweiCai

ShaoweiCai

Geek Repo

14

followers

2

following

4

stars

Github PK Tool:Github PK Tool

ShaoweiCai's starred repositories

CCAnr

CCAnr is a local search solver for SAT, particularly designed for solving non-random instances.

Language:CLicense:MITStargazers:5Issues:0Issues:0

z3pp

Language:C++License:NOASSERTIONStargazers:44Issues:0Issues:0

ParKissat-RS

Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)

Language:CLicense:NOASSERTIONStargazers:20Issues:0Issues:0

sat_atpg

SAT-based ATPG using TG-Pro model

Language:C++License:MITStargazers:15Issues:0Issues:0