an efficient SMT solver library
Published
February 12, 2026
165d ago
Package Registry
README badge Customize →
License Sources Match
MIT confirmed by 2 independent sources — Python registry metadata and the LICENSE file in the package source — as of July 11, 2026.
| Source | License | Class |
|---|---|---|
Licensie (detected) | MIT | Permissive |
PyPI (reported) | MIT License | Permissive |
Loading dependencies…
License File
Added Removed Expected
Versions
51 versions| Version | License | Published | Status |
|---|---|---|---|
| 5.0.0.0 Latest | MIT | Jul 17, 2026 | Scanned |
| 4.16.0.0 | MIT | Feb 19, 2026 | Scanned |
| 4.15.8.0 Viewing | MIT | Feb 12, 2026 | Scanned |
| 4.15.7.0 | MIT | Feb 9, 2026 | Scanned |
| 4.15.6.0 | MIT | Feb 8, 2026 | Scanned |
| 4.15.5.0 | MIT | Feb 7, 2026 | Scanned |
| 4.15.4.0 | MIT | Oct 29, 2025 | Scanned |
| 4.15.3.0 | MIT | Aug 16, 2025 | Scanned |
| 4.15.1.0 | MIT | Jun 8, 2025 | Scanned |
| 4.15.0.0 | MIT | May 10, 2025 | Scanned |
| 4.14.1.0 | MIT | Mar 11, 2025 | Scanned |
| 4.14.0.0 | MIT | Feb 18, 2025 | Scanned |
| 4.13.4.0 | MIT | Dec 16, 2024 | Scanned |
| 4.13.3.0 | MIT | Oct 10, 2024 | Scanned |
| 4.13.2.0 | MIT | Sep 27, 2024 | Scanned |
| 4.13.1.0 | MIT | Sep 26, 2024 | Scanned |
| 4.13.0.0 | MIT | Mar 7, 2024 | Scanned |
| 4.12.6.0 | MIT | Feb 24, 2024 | Scanned |
| 4.12.5.0 | MIT | Jan 21, 2024 | Scanned |
| 4.12.4.0 | MIT | Dec 6, 2023 | Scanned |