Giters
the-kiel

the-kiel

Geek Repo

1

followers

0

following

0

stars

Github PK Tool:Github PK Tool

the-kiel's repositories

TopoSAT2

The TopoSAT2 SAT solver, heavily based on Glucose (and thus MiniSAT).

Language:C++Stargazers:4Issues:1Issues:0

benchmarks_2018

Stargazers:0Issues:0Issues:0

chuffed

The CP solver Chuffed

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

CP_benchmarks

Stargazers:0Issues:0Issues:0

ICTAI2014_benchmarks

Stargazers:0Issues:0Issues:0

JCSS

Software and data on sorting networks

Language:C++Stargazers:0Issues:1Issues:0

minisat_faster_BVE

Fork of Norbert Mantheys MiniSAT with improved preprocessing

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

SAT_benchmarks

Stargazers:0Issues:0Issues:0