GitHub Analytics

GitHub Analytics

satsuma

Public

static symmetry breaking for SAT

MIT License

Updated Feb 5, 2026

Created Mar 11, 2024

18 stars

2 forks

1 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

1 commits

Recent Stargazers

almost 2 years ago

MU muhammedabuali

over 1 year ago

10 months ago

8 months ago

5 months ago

11 days ago

CO Colton1skees

6 days ago

6 days ago

BE bernsteining

6 days ago

SW sweiglbosker

6 days ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)185

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 1

Open Issues1

Activity Peak

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

Stars & Forks Over Time

Cumulative stars and forks based on recent history.