glucose

Public

The glucose SAT solver

MIT License

Updated Feb 6, 2026

Created May 9, 2023

136 stars

22 forks

3 watchers

1 open issues

Languages

Codebase composition by bytes

Top Contributors

12 commits

1 commits

1 commits

1 commits

1 commits

Recent Stargazers

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)327

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 6

Open Issues7

Activity Peak

Most recent day with highest activityFeb 6, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

glucose