XCSP3 IO (cpmpy.tools.io.xcsp3)

Helper functions for loading CPMpy models from XCSP3-core formatted files.

XCSP3 is an XML-based format for constraint satisfaction and optimisation problems. More can be read about it here:

• https://xcsp.org/specifications/

List of functions

load_xcsp3

cpmpy.tools.io.xcsp3.load_xcsp3(xcsp3: str | PathLike | TextIO, open: Callable = <built-in function open>) → Model