Toy Conflict-Driven Clause-Learning (CDCL) SAT solver for my understanding
active 2024-04-20 → 2025-01-25 (UTC)
Partial coverage20,639 / 26,304 hourly files (78%) · 2 absent upstream · 5,661 failed, retryable2023-08-15 → 2026-08-14 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
419
Pushes
225
Pull requests
81
Issues
0
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 281 days from 2024-04-20 to 2025-01-25. Pushes: 225 total, peak 19 in a day. Pull requests: 81 total, peak 16 in a day. Issues: 0 total, peak 0 in a day. Comments: 27 total, peak 14 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| termoshtt | 292 | 225 | 67 | 0 |
| codspeed-hq[bot] | 21 | 0 | 0 | 21 |
| dependabot[bot] | 20 | 0 | 14 | 6 |
Recent activity
Latest issues, pull requests and releases
- Pull request#48termoshtt2025-01-25 06:32
- Issue comment#47codspeed-hq[bot]2025-01-19 16:32Debagging backtrack solver
- Pull request#47termoshtt2025-01-19 16:28
- Pull request#45termoshtt2025-01-19 14:04
- Pull request#46termoshtt2025-01-18 06:16
- Issue comment#45codspeed-hq[bot]2025-01-12 08:43Algorithm A (double linked list) in Knuth 4B
- Pull request#45termoshtt2025-01-12 08:39
- Pull request#42termoshtt2025-01-11 07:14
- Pull request#44termoshtt2025-01-11 06:48
- Pull request#43termoshtt2025-01-04 07:55
- Issue comment#43codspeed-hq[bot]2025-01-04 07:52Take minimal ID without allocation
- Pull request#43termoshtt2025-01-04 07:48
- Issue comment#42codspeed-hq[bot]2024-12-31 15:10Faster CDCL
- Pull request#42termoshtt2024-12-31 15:05
- Pull request#41termoshtt2024-12-31 13:01
- Issue comment#41codspeed-hq[bot]2024-12-31 10:35Flatten DPLL process
- Pull request#41termoshtt2024-12-31 10:30
- Pull request#40termoshtt2024-12-31 08:40
- Issue comment#40codspeed-hq[bot]2024-12-31 06:14Revise unit propagation process
- Pull request#40termoshtt2024-12-31 06:10
- Pull request#39termoshtt2024-12-31 02:45
- Issue comment#39codspeed-hq[bot]2024-12-30 14:24deps: bump serde from 1.0.216 to 1.0.217 in the all-dependencies group
- Pull request#39dependabot[bot]2024-12-30 14:19
- Pull request#38termoshtt2024-12-29 09:37
- Issue comment#38codspeed-hq[bot]2024-12-29 09:11Rougher check for cancelation
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.