Licensie / Python

smtconfig

1.0.2

Declarative SMT-based configuration system built on top of Z3

License
BSD-3-Clause
Permissive

A permissive license similar to the BSD 2-Clause License, but with a 3rd clause that prohibits others from using the name of the copyright holder or its contributors to promote derived products without written consent.

Published
February 21, 2026
13d ago
Package Registry
PyPI Homepage
README badge Customize →
License Sources Match
SourceLicenseClass
Licensie (detected)
BSD-3-ClausePermissive
PyPI (reported)
BSD 3-Clause LicensePermissive
Loading dependencies…
License File
Added Removed Expected
Versions
2 versions
VersionLicensePublishedStatus
1.0.2 Latest ViewingBSD-3-ClauseFeb 21, 2026 Scanned
1.0.1 BSD 3-Clause License (Unverified)Feb 21, 2026 Pending