shnarazk Narazaki Shuji
github.com/shnarazk · maintains 7 packages (7 directly), sole maintainer of 0, member of 0 teams
7 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
'keep it simple and clean bare metal SAT solver' written in C |
4.0.4 |
2 | 5 | 1 | 20 | maintained | ||
BQN implementation in C |
0.12.0 |
3 | 4 | 0 | 0 | maintained | ||
BQN implementation in C |
0.12.0 |
3 | 4 | 2 | 2 | maintained | ||
BQN implementation in C |
0.12.0 |
3 | 5 | 0 | 0 | maintained | ||
BQN implementation in C |
0.12.0 |
3 | 5 | 0 | 0 | maintained | ||
Simplified Satisfiability Solver |
2.2.1 |
2 | 3 | 0 | 0 | maintained | ||
Simplified Satisfiability Solver |
3.0.1 |
2 | 3 | 0 | 0 | maintained |