josalhor/hermax

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

doi:10.4230/artifacts.25966

Artifact

josalhor/hermax 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.25966
URN: urn:nbn:de:0030-drops-259660

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 (Source Code): https://github.com/josalhor/hermax

Version/Status

Content created at: 2026-03-04
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. josalhor/hermax (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.25966

Description

Hermax: MaxSAT Optimization for Python

Subject Classification

Programming Languages

C
C++
Mathematical Programming System
Linear Programming
Python
TeX
Makefile
Awk
Shell
CMake
Jupyter Notebook
BibTeX Style
Zimpl
Yacc
CSS
HTML
Java
M4
Arc
Lex
Roff
R
Gnuplot
PHP
AMPL
Dockerfile
Batchfile
Emacs Lisp

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