hermax

0.9.3 Not latest — view latest

A Python library of incremental MaxSAT solvers

License Sources
SourceLicenseClass
Licensie (detected)
Pending-
PyPI (reported)
Apache-2.0Permissive

License detection is still in progress for this version.

Loading dependencies…
Versions
2 versions
VersionLicensePublishedStatus
1.0.0 Latest Apache-2.0Mar 7, 2026 Scanned
0.9.3 ViewingApache-2.0 (Unverified)Mar 2, 2026 Pending