https://hermax.readthedocs.io/en/latest/en/1.2.4/acknowledgments.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/api.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/bindings.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/changelog.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/compilation.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/developer.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/encoder_api.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/encoder_pbamo.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/examples.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/incomplete_subprocess.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/incremental.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/index.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/interface.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/model_examples.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/model_examples_tricks.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_api.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_boolean_pb.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_collections.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_export_solve.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_internal_overview.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_modifiers.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_overview.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_tricks.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/modeling_typed.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/non_incremental.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/non_incremental_incomplete.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/np_problems.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/portfolio.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/quickstart.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/quickstart_basic_usage.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/quickstart_installation.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/quickstart_output.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/rc2.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/testing.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/utils.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/utils_api.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/genindex.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/py-modindex.htmlhttps://hermax.readthedocs.io/en/latest/en/1.2.4/search.html