วิธีเล่น

คลิกที่น้ำระหว่างสองเกาะเพื่อสร้างสะพาน คลิกอีกครั้งเพื่อสะพานที่สอง คลิกครั้งที่สามจะลบออก

หรือลากจากเกาะไปยังเกาะข้างเคียง หรือคลิกสองเกาะต่อกัน

คลิกขวา / Shift + คลิกเพื่อลบสะพาน

Ctrl Z ย้อนกลับ · Ctrl Y ทำซ้ำ · H ใบ้

เกาะที่ครบแล้วจะเป็นสีเขียว เกาะที่เกินจะเป็นสีแดง ติดอยู่ใช่ไหม? ขอคำใบ้จากตัวแก้ SAT หรือให้มันตรวจสะพานของคุณ

สะพานที่เป็นไปได้ทุกเส้น e ระหว่างเกาะข้างเคียงสองเกาะจะได้ตัวแปรบูลีนสองตัว: e₁ (มีสะพานอย่างน้อยหนึ่งเส้น) และ e₂ (มีสะพานเส้นที่สอง) พร้อมเงื่อนไข e₂ → e₁ เพื่อให้ทุกการจัดวางมีโมเดลเดียวพอดี

เกาะที่มีเลข n ต้องมีตัวแปรที่เป็นจริงพอดี n ตัว ซึ่งเขียนเป็นอนุประโยคครอบคลุมทุกการจัดหมู่ สะพานที่ตัดกันจะกีดกันกันเอง:

การเชื่อมต่อแสดงใน CNF ได้ยาก จึงเพิ่มเข้าไปเมื่อจำเป็นเท่านั้น (lazy): ทุกครั้งที่ตัวแก้คืนคำตอบที่เกาะแยกเป็นกลุ่ม จะเพิ่มอนุประโยคที่บังคับให้มีสะพานออกจากกลุ่มนั้น แล้วให้ตัวแก้ทำงานอีกรอบ

ตัวสร้างจะปลูกหมู่เกาะแบบสุ่ม และพิสูจน์ว่าคำตอบมีหนึ่งเดียวโดยบล็อกคำตอบที่พบแล้วขอคำตอบอื่นจากตัวแก้ ลองโหมดต่างๆ ของตัวแก้ได้ในแล็บ