acairncross Aiken Cairncross
github.com/acairncross · maintains 6 packages (6 directly), sole maintainer of 3, member of 0 teams
3 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 | ||
SMT solver for Monotonic Theories |
1.8.0 |
1 | 19 | 0 | 0 | single | ||
SMT solver for Monotonic Theories |
1.8.0 |
1 | 19 | 0 | 0 | single |