acairncross Aiken Cairncross
github.com/acairncross · maintains 6 packages (6 directly), sole maintainer of 3, member of 0 teams
6 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
SMT solver for Monotonic Theories |
1.8.0 |
1 | 6 | 2 | 2 | single | ||
Open Neural Network Exchange |
1.23.2 |
2 | 11 | 1 | 154 | maintained | ||
SMT solver for Monotonic Theories |
1.8.0 |
1 | 19 | 0 | 0 | single | ||
Open Neural Network Exchange |
1.23.2 |
2 | 22 | 21 | 70 | maintained | ||
SMT solver for Monotonic Theories |
1.8.0 |
1 | 19 | 0 | 0 | single | ||
Open Neural Network Exchange |
1.23.2 |
2 | 23 | 23 | 153 | maintained |