Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".
active 2023-08-17 → 2026-01-30 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 898 days from 2023-08-17 to 2026-01-30. Pushes: 16 total, peak 3 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 12 total, peak 1 in a day. Comments: 13 total, peak 2 in a day. Stars: 67 total, peak 6 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 |
|---|---|---|---|---|
| rogerwwww | 27 | 16 | 0 | 8 |
| BeagleManMan | 3 | 0 | 0 | 1 |
| saYan502 | 2 | 0 | 0 | 2 |
| zaza0209 | 2 | 0 | 0 | 0 |
| YunhaoZhang-Mars | 2 | 0 | 0 | 2 |
| apolonazz | 2 | 0 | 0 | 0 |
| aki916 | 1 | 0 | 0 | 0 |
| Aron-NJU | 1 | 0 | 0 | 0 |
| AlexAuthor7 | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#8zaza02092025-02-25 07:26using sparse constraints results in nan output
- Issue comment#8rogerwwww2025-02-12 03:21using sparse constraints results in nan output
- Issue comment#7rogerwwww2025-02-12 03:21Marginal distributions are not matched! Please report this issue on GitHub.
- Issue#8zaza02092025-02-12 02:55using sparse constraints results in nan output
- Issue#7Aron-NJU2024-12-02 09:17Marginal distributions are not matched! Please report this issue on GitHub.
- Issue#6BeagleManMan2024-11-19 07:10有关处理非负元素的问题
- Issue comment#6BeagleManMan2024-11-19 07:10有关处理非负元素的问题
- Issue comment#6YunhaoZhang-Mars2024-11-15 02:29有关处理非负元素的问题
- Issue#6BeagleManMan2024-11-14 07:22有关处理非负元素的问题
- Issue comment#5rogerwwww2024-11-03 22:08error handling should be added when priority level is larger than the number of nodes - 1 in TSP-PRI
- Issue#5rogerwwww2024-11-03 22:08error handling should be added when priority level is larger than the number of nodes - 1 in TSP-PRI
- Issue comment#5YunhaoZhang-Mars2024-09-11 06:58error handling should be added when priority level is larger than the number of nodes - 1 in TSP-PRI
- Issue#5aki9162024-08-12 07:51error handling should be added when priority level is larger than the number of nodes - 1 in TSP-PRI
- Issue#3rogerwwww2024-05-18 04:32Marginal distributions are not matched
- Issue#4apolonazz2024-04-28 00:58RuntimeError: The size of tensor a (493) must match the size of tensor b (4) at non-singleton dimension 1
- Issue#4apolonazz2024-04-26 15:46RuntimeError: The size of tensor a (493) must match the size of tensor b (4) at non-singleton dimension 1
- Releaserogerwwww2024-03-18 03:100.1.3
- Issue comment#3saYan5022024-03-14 03:34Marginal distributions are not matched
- Releaserogerwwww2024-03-13 17:550.1.2
- Issue comment#3rogerwwww2024-03-13 16:35Marginal distributions are not matched
- Issue comment#3saYan5022024-03-12 01:55Marginal distributions are not matched
- Issue comment#3rogerwwww2024-03-11 13:55Marginal distributions are not matched
- Releaserogerwwww2024-02-29 19:500.1.1
- Releaserogerwwww2024-02-25 00:370.1.0
- Issue comment#2rogerwwww2023-12-15 14:49the backtrace further above shows the operation that failed to compute its gradient
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 67 stars here means stars gained during the window, not the repo's star count.