XCSP3
1 program
Added 2026-03-12T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: XCSP
Provenance: commit 024b7ac2f7 · authored 2026-03-12T12:53:05+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
8-Queens Problem
Provenance: commit 024b7ac2f7 · authored 2026-03-12T12:53:05+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<instance format="XCSP3" type="CSP">
<variables>
<array id="q" note="q[i] is the column of the queen in row i" size="[8]" type="integer">
0..7
</array>
</variables>
<constraints>
<allDifferent id="c1">
q[]
</allDifferent>
<allDifferent id="c2">
<list> (q[i]+i) : i in 0..7 </list>
</allDifferent>
<allDifferent id="c3">
<list> (q[i]-i) : i in 0..7 </list>
</allDifferent>
</constraints>
</instance>