Hermax: MaxSAT Optimization for Python Pypi Distribution

Salvia Hornos, Josep Maria; Fernández Camón, Cèsar; Mateu Piñol, Carles

doi:10.4230/artifacts.26924

Artifact

Hermax: MaxSAT Optimization for Python Pypi Distribution Software

Authors Josep Maria Salvia Hornos , Cèsar Fernández Camón , Carles Mateu Piñol

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26924
URN: urn:nbn:de:0030-drops-269245

Author Details

Josep Maria Salvia Hornos

Department of Computer Engineering and Digital Design, University of Lleida, Spain
Department of IT and Systems, AI Division, Corporación Alimentaria Guissona S.A., Lleida, Spain

Cèsar Fernández Camón

Department of Computer Engineering and Digital Design, University of Lleida, Spain

Carles Mateu Piñol

Department of Computer Engineering and Digital Design, University of Lleida, Spain

Content

Software (Distribution): https://pypi.org/project/hermax

Version/Status

Content created at: 2026-03-07
Status: Active (at the time of publication 2026-07-16)

Cite As Get BibTex

Josep Maria Salvia Hornos, Cèsar Fernández Camón, Carles Mateu Piñol. Hermax: MaxSAT Optimization for Python Pypi Distribution (Software, Distribution). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26924

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail