concepts.pdsketch.parsers.csp_parser#

Functions

load_csp_problem_file(filename, domain[, ...])

Load a PDSketch CSP problem from a file.

load_csp_problem_string(string, domain[, ...])

Load a PDSketch CSP problem from a string.

Classes

ExpressionToCSPConverter

PDSketchCSPParser

Parser for PDSketch domain and problem files.

PDSketchCSPProblemTransformer