arjun

Public

CNF minimizer and minimal independent set minimizer

Other

Updated Jan 16, 2026

Created Sep 7, 2019

23 stars

7 forks

3 watchers

1 open issues

Languages

Codebase composition by bytes

Top Contributors

1040 commits

7 commits

5 commits

1 commits

Recent Stargazers

XZ xzinkus

almost 5 years ago

ER Eric-Vin

over 3 years ago

LI lirui-shanghaitech

over 3 years ago

over 3 years ago

about 3 years ago

about 3 years ago

over 2 years ago

over 2 years ago

about 2 years ago

about 2 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)2,616

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 30

Open Issues31

Activity Peak

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

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

arjun