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