ApacheWang

ApacheWang/open-np-hard-research

Open, rigorous, reproducible research on NP-hard problems — starting with 3-SAT.

1 stars 1 forks 1 watchers Python Apache License 2.0

1 Open Issue Need Help Last updated: Jul 24, 2026

Open Issues Need Help

View All on GitHub

Reproduce the bounded DPLL agreement baseline about 2 hours ago

help wanted good first issue

ApacheWang/open-np-hard-research

1

Open, rigorous, reproducible research on NP-hard problems — starting with 3-SAT.

Python