6
$\begingroup$

I am building my own CSP solver with simple backtracking, AC3 filtering and variable/value ordering heuristics. It supports non binary constraints. I've done some good progress and I'd like to benchmark it.

Are there some benchmarks out there, like some standard/common CSP problems, or some problem data sets that researchers use for testing?

Ideally, I was hoping there is some standard file format of CSP problem definitions, like a csv or json or xml format, that I could import and parse with my solver. Is there such a thing?

$\endgroup$
7
$\begingroup$

Here's one: CSPLib: A problem library for constraints

$\endgroup$
7
$\begingroup$

The Minizinc constraint programming benchmark models are in Minzinc file format : https://github.com/MiniZinc/minizinc-benchmarks. Each year several CP solvers compete on some problems (see here : Minizinc challenge)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.