Als «constraint-programming» getaggte Fragen

Programmgesteuertes Lösen von „Wem gehört das Zebra“?

Bearbeiten: Dieses Puzzle ist auch als "Einsteins Rätsel" bekannt. The Who besitzt das Zebra (Sie können die Online-Version hier ausprobieren ) ist ein Beispiel für ein klassisches Puzzleset, und ich wette, dass die meisten Leute bei Stack Overflow es mit Stift und Papier lösen können. Aber wie würde eine programmatische …

128 language-agnostic logic constraint-programming zebra-puzzle

Finden aller Kombinationen von freien Polyominoes innerhalb eines bestimmten Bereichs mit einem SAT-Solver (Python)

Ich bin neu in der Welt der SAT-Löser und benötige eine Anleitung zum folgenden Problem. Bedenkt, dass: ❶ Ich habe eine Auswahl von 14 benachbarten Zellen in einem 4 * 4-Raster ❷ Ich habe 5 Polyominoes (A, B, C, D, E) der Größen 4, 2, 5, 2 und 1 ❸ …

15 python combinations z3 constraint-programming or-tools

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.

Licensed under cc by-sa 3.0 with attribution required.