Licensie / Python

smtconfig

1.0.1 Not latest — view latest

Declarative SMT-based configuration system built on top of Z3

License
BSD 3-Clause License
Permissive - Unverified

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
SourceLicenseClass
Licensie (detected)
Pending-
PyPI (reported)
BSD 3-Clause LicensePermissive

License detection is still in progress for this version.

Loading dependencies…
Versions
2 versions
VersionLicensePublishedStatus
1.0.2 Latest BSD-3-ClauseFeb 21, 2026 Scanned
1.0.1 ViewingBSD 3-Clause License (Unverified)Feb 21, 2026 Pending