SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

Q: How reproducible is "SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver"?

Estimated time to first reproduction: a few days. Risk flags: Adjacent implementations are not paper-verified. No maintained paper-verified implementation was found; start with the closest related repositories below.

Q: What framework is used to implement "SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver"?

The primary implementation uses pytorch.

Published May 1, 2019

arXiv PDF

Researcher verdict

Starting point

Use as implementation starting point

Benchmark evidence

Missing

Not verified yet

Time to first repro

A few days

Plan setup time

Risk flags

Review before use

Results and benchmarks

Freshness tier: cold

SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver focuses on reasoning / puzzle solving.

Benchmark evidence is limited

No concrete benchmark grounding is available yet. Treat the page as context or an implementation starting point only.

Implementation

Historical official implementation (not recommended for new builds)

Only a historical official implementation is available

Use with caution for new projects; verify against current tooling and maintained community alternatives.

locuslab/SATNet · 435 stars · Last push Nov 22, 2022

Why this implementation

Confidence: medium

Kyubyong/sudoku is the closest maintained adjacent implementation (Official implementation from Papers with Code). It is not paper-verified; validate algorithm and evaluation setup against the paper before trusting reported metrics. Community adoption signal: 867 GitHub stars.

Open locuslab/SATNet

Reproduction risks

Adjacent implementations are not paper-verified
Recommended repository is adjacent and not paper-verified.
No direct maintained implementation is currently verified.

Only historical official repository was found: locuslab/SATNet.
No maintained paper-verified implementation met reliability thresholds.

Compare implementation paths

Compare maintenance quality, reproducibility coverage, and evidence confidence before choosing a reproduction baseline.

locuslab/SATNet

historical official

Maintenance: Stale
Confidence: High
Reproducibility: Moderate
Stars: 435
Last push: Nov 22, 2022 (1372d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

No push in 12+ months
No CI pipeline detected
No tagged releases

Kyubyong/sudoku

alternative

Maintenance: Stale
Confidence: High
Reproducibility: Limited
Stars: 867
Last push: Feb 17, 2023 (1285d)

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata

No push in 12+ months
No CI pipeline detected
No tagged releases

floodsung/Deep-Reasoning-Papers

alternative

Maintenance: Stale
Confidence: Low
Reproducibility: Limited
Stars: 317
Last push: May 30, 2022 (1548d)

Matched via arXiv identifier search · Strong overlap with paper title keywords

No push in 12+ months
No CI pipeline detected
No tagged releases

Reproduction readiness

Time to first repro: days

Last checked: Aug 25, 2026

Setup required

Dependencies pinned, manual setup needed

locuslab/SATNet has requirements.txt but requires manual environment setup.
Last push was 1372 days ago, so expect possible dependency version conflicts.
No Dockerfile, so you will set up the environment manually.
No CI pipeline, so test coverage is unknown.

Open locuslab/SATNet

Hardware requirements

Expect multi-day setup/compute for meaningful reproduction based on current guidance.

Quick start

git clone https://github.com/locuslab/SATNet.git
pip install -r requirements.txt

Validation caveat

No benchmark numbers could be verified. You will not be able to validate reproduction correctness against published numbers.

Repositories and ecosystem

Closest related implementations

These are not paper-verified. Use them as reference points when no direct implementation is available.

Kyubyong/sudoku Adjacent · Confidence: Medium · 867 stars

Official implementation from Papers with Code

Official

Kyubyong/sudoku
Confidence: High

Can Neural Networks Crack Sudoku?

867 stars · 134 forks · Last push Feb 17, 2023 · GPL-3.0 license

Community

No additional community repositories detected yet.

Hugging Face artifacts

No trustworthy direct or curated related Hugging Face artifacts were found yet. Use targeted searches to quickly locate candidate models, datasets, and demos.

Search models Search datasets Search spaces

Models

arxiv:1905.12149 SATNet Reasoning / puzzle solving

Datasets

arxiv:1905.12149 SATNet dataset Reasoning / puzzle solving dataset

Spaces

arxiv:1905.12149 SATNet demo Reasoning / puzzle solving demo

Tip: start with models, then check datasets and spaces if you need evaluation data or demos.

Research context

Tasks

Reasoning / puzzle solving

Methods

None detected

Domains

None detected

Evaluation and human feedback data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX

Explore similar papers

Jump to Paper2Code search queries derived from this paper's research context.