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