Skip to content

mis.data.graphs

source module mis.data.graphs

Loading graphs as raw data.

Classes

  • DIMACSDataset A dataset representing a DIMACS graph instance and its solutions. This is used to load DIMACS files and extract the graph and solutions.

Functions

  • load_dimacs Load a DIMACS file and return a DIMACSDataset.

source dataclass DIMACSDataset(instance: MISInstance, solutions: list[list[int]])

A dataset representing a DIMACS graph instance and its solutions. This is used to load DIMACS files and extract the graph and solutions.

Attributes

  • solutions : list[list[int]] If the dataset provided solutions, the list of solutions. Note that most instances do not provide a solution and those that do do not guarantee that they provide all solutions.

source load_dimacs(path: Path)DIMACSDataset

Load a DIMACS file and return a DIMACSDataset.

Parameters

  • path : Path Path to the DIMACS file.

Returns

Raises

  • ValueError