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