shadaj Shadaj Laddad
github.com/shadaj · maintains 2 packages (2 directly), sole maintainer of 2, member of 0 teams
2 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
High-performance theorem prover and SMT solver |
1.4.0 → 1.4.1 |
1 | 11 | 2 | 20 | single outdated | ||
Implementation of SMT-LIB / IEEE-754 operations in terms of bit-vector operations |
1.2.0-unstable-2026-05-13 |
1 | 3 | 2 | 22 | single |