jijpresolve.evaluate_miplib
===========================

.. py:module:: jijpresolve.evaluate_miplib

.. autoapi-nested-parse::

   Manual MIPLIB presolve reduction evaluation.



Attributes
----------

.. autoapisummary::

   jijpresolve.evaluate_miplib.SCHEMA_VERSION
   jijpresolve.evaluate_miplib.PRESET_ALL
   jijpresolve.evaluate_miplib.PRESET_MIPLIB_BENCHMARK_SUITABLE


Functions
---------

.. autoapisummary::

   jijpresolve.evaluate_miplib._utc_now_iso
   jijpresolve.evaluate_miplib._tags
   jijpresolve.evaluate_miplib._select_instances
   jijpresolve.evaluate_miplib._stat
   jijpresolve.evaluate_miplib._usage
   jijpresolve.evaluate_miplib._constraints
   jijpresolve.evaluate_miplib._reduced
   jijpresolve.evaluate_miplib._increased
   jijpresolve.evaluate_miplib._compute_reduction
   jijpresolve.evaluate_miplib._write_json_atomic
   jijpresolve.evaluate_miplib._options
   jijpresolve.evaluate_miplib._result_record
   jijpresolve.evaluate_miplib._run_worker
   jijpresolve.evaluate_miplib._worker_command
   jijpresolve.evaluate_miplib._run_instance
   jijpresolve.evaluate_miplib._default_output_dir
   jijpresolve.evaluate_miplib._build_parser
   jijpresolve.evaluate_miplib.main


Module Contents
---------------

.. py:data:: SCHEMA_VERSION
   :value: 1


.. py:data:: PRESET_ALL
   :value: 'all'


.. py:data:: PRESET_MIPLIB_BENCHMARK_SUITABLE
   :value: 'miplib-benchmark-suitable'


.. py:function:: _utc_now_iso() -> str

.. py:function:: _tags(annotations: dict[str, str]) -> list[str]

.. py:function:: _select_instances(selector: str, annotations: dict[str, dict[str, str]]) -> list[str]

.. py:function:: _stat(stats: dict[str, Any], *path: str) -> int

.. py:function:: _usage(stats: dict[str, Any], key: str) -> int

.. py:function:: _constraints(stats: dict[str, Any], key: str) -> int

.. py:function:: _reduced(before: int, after: int) -> dict[str, int | float | None]

.. py:function:: _increased(before: int, after: int) -> dict[str, int]

.. py:function:: _compute_reduction(original_stats: dict[str, Any], presolved_stats: dict[str, Any]) -> dict[str, Any]

.. py:function:: _write_json_atomic(path: pathlib.Path, data: dict[str, Any]) -> None

.. py:function:: _options(args: argparse.Namespace) -> dict[str, Any]

.. py:function:: _result_record(*, instance: str, status: str, started_at: str, options: dict[str, Any], elapsed_sec: float, error: str | None = None, miplib_status: str | None = None, miplib_tags: list[str] | None = None, original_stats: dict[str, Any] | None = None, presolved_stats: dict[str, Any] | None = None, reduction: dict[str, Any] | None = None, presolve_stats: dict[str, Any] | None = None, load_elapsed_sec: float | None = None, presolve_elapsed_sec: float | None = None) -> dict[str, Any]

.. py:function:: _run_worker(args: argparse.Namespace) -> int

.. py:function:: _worker_command(args: argparse.Namespace, instance: str, output: pathlib.Path) -> list[str]

.. py:function:: _run_instance(args: argparse.Namespace, instance: str) -> None

.. py:function:: _default_output_dir() -> pathlib.Path

.. py:function:: _build_parser() -> argparse.ArgumentParser

.. py:function:: main() -> int