zebra (difficulty: difficult)

The classical logic puzzle. QUBO derived from a SAT implementation available here https://people.sc.fsu.edu/~jburkardt/data/cnf/zebra_v155_c1135.cnf

Download QUBO Explanation of the file format

You must log in or register to submit a solution.

Best Scores

• 0.0, with method qubo2minizinc then OR-tools, submitted by user: 2
• 2.0, with method ngq, submitted by user: 11
• 1287.0, with method mlqaoa, submitted by user: 12