https://docs.cpbenchy.com/https://docs.cpbenchy.com/design/https://docs.cpbenchy.com/examples/https://docs.cpbenchy.com/examples/analyze/https://docs.cpbenchy.com/examples/formulations/https://docs.cpbenchy.com/examples/knapsack-json/https://docs.cpbenchy.com/examples/param-sweep/https://docs.cpbenchy.com/examples/sqlite-store/https://docs.cpbenchy.com/getting-started/first-benchmark/https://docs.cpbenchy.com/getting-started/installation/https://docs.cpbenchy.com/getting-started/python/https://docs.cpbenchy.com/guides/backend/https://docs.cpbenchy.com/guides/experiments/https://docs.cpbenchy.com/guides/limits/https://docs.cpbenchy.com/guides/results/https://docs.cpbenchy.com/guides/rules/https://docs.cpbenchy.com/guides/submissions/https://docs.cpbenchy.com/library/https://docs.cpbenchy.com/library/backend/https://docs.cpbenchy.com/library/check-solutions/https://docs.cpbenchy.com/library/competition-output/https://docs.cpbenchy.com/library/inline/https://docs.cpbenchy.com/library/maxsat-output/https://docs.cpbenchy.com/library/model-size/https://docs.cpbenchy.com/library/par/https://docs.cpbenchy.com/library/pb-output/https://docs.cpbenchy.com/library/pb26-parallel/https://docs.cpbenchy.com/library/pb26/https://docs.cpbenchy.com/library/runlimit/https://docs.cpbenchy.com/library/sat-output/https://docs.cpbenchy.com/library/save-solution/https://docs.cpbenchy.com/library/solution-checker/https://docs.cpbenchy.com/library/solution-formats/https://docs.cpbenchy.com/library/solution-trajectory/https://docs.cpbenchy.com/library/solve/https://docs.cpbenchy.com/library/submission/https://docs.cpbenchy.com/library/subprocess/https://docs.cpbenchy.com/library/terminate/https://docs.cpbenchy.com/library/xcsp3-2025-fast/https://docs.cpbenchy.com/library/xcsp3-2025-parallel/https://docs.cpbenchy.com/library/xcsp3-2025/https://docs.cpbenchy.com/library/xcsp3-output/https://docs.cpbenchy.com/plugins/hooks/https://docs.cpbenchy.com/plugins/loaders/https://docs.cpbenchy.com/plugins/observers/https://docs.cpbenchy.com/plugins/overview/https://docs.cpbenchy.com/plugins/recipes/https://docs.cpbenchy.com/plugins/testing/https://docs.cpbenchy.com/plugins/writing-plugins/https://docs.cpbenchy.com/reference/cli/https://docs.cpbenchy.com/reference/python/https://docs.cpbenchy.com/reference/result-record/