Kotlin solver for Boolean and integer constraint problems. Finds and samples satisfying solutions, picks the best under a weighted objective, and exports to CNF for external SAT engines.
active 2026-05-05 → 2026-08-31 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 119 days from 2026-05-05 to 2026-08-31. Pushes: 662 total, peak 39 in a day. Pull requests: 37 total, peak 7 in a day. Issues: 14 total, peak 6 in a day. Comments: 4 total, peak 1 in a day. Stars: 3 total, peak 3 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| rasros | 717 | 662 | 37 | 4 |
Recent activity
Latest issues, pull requests and releases
- Pull request#1842rasros2026-08-31 14:04
- Pull request#1066rasros2026-07-07 15:06
- Pull request#1061rasros2026-07-06 20:39
- Pull request#959rasros2026-07-03 23:19
- Issue comment#942rasros2026-07-02 15:58Batch affine eliminations into shared wide rows instead of folding one at a time
- Pull request#820rasros2026-06-21 12:18
- Pull request#813rasros2026-06-21 09:30
- Pull request#794rasros2026-06-20 21:21
- Pull request#778rasros2026-06-20 08:38
- Pull request#771rasros2026-06-20 06:17
- Pull request#691rasros2026-06-16 12:19
- Issue#592rasros2026-06-15 12:49Epic: incremental propagation engine — trail-based reversible state + delta scheduling (toward full LCG)
- Pull request#605rasros2026-06-15 05:59
- Issue#574rasros2026-06-14 21:49klause-cli ignores -t/--time-limit on tdtsp_inst_10_24_10 — ran 2h13m against a 300s limit (uncancellable phase)
- Pull request#589rasros2026-06-14 21:27
- Pull request#583rasros2026-06-14 20:52
- Pull request#544rasros2026-06-14 12:19
- Issue#522rasros2026-06-14 10:14Presolve: non-unit-pivot equality substitution, single-occurrence inequality projection, dominated-occurrence elimination (#445 follow-up)
- Issue#507rasros2026-06-14 06:55circuit/subcircuit: -a over-counts solutions (channel aux vars enumerated); valid but duplicated
- Issue#501rasros2026-06-14 06:32Value-symmetry breaking misses graph coloring (int_ne lowers to a value-meaningful Linear)
- Issue#478rasros2026-06-14 05:28klause: filters/ar_1_1 reports objective 1 below Choco's proven optimum 34 (suspected unsoundness)
- Pull request#491rasros2026-06-14 05:28
- Issue#442rasros2026-06-14 04:43Presolve: Law–Lee value precedence over verified value orbits (beyond value-anonymous)
- Pull request#490rasros2026-06-14 04:43
- Pull request#489rasros2026-06-14 04:43
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3 stars here means stars gained during the window, not the repo's star count.