作る · tsukuru

เวิร์กช็อปปริศนา

วางเกาะ ให้ตัวแก้ SAT ตรวจว่าปริศนาของคุณมีคำตอบเดียว แล้วเล่นได้เลย

คลิก +1คลิกขวา −11–8 ใส่เลข · ⌫ ลบ (ขณะชี้อยู่)

ตาราง盤

8×8 ช่อง · 0 เกาะ

กว้าง8

สูง8

เติมด้วยปริศนาที่สร้างอัตโนมัติ

ปริศนาถูกแปลงเป็น CNF แล้วแก้ด้วยตัวแก้ของเราเองจากแล็บ SAT

CDCL ของเรา

ตัวแก้

ฮิวริสติกการแตกกิ่ง

การรีสตาร์ต

ซับซัมชัน

ประมวลผลล่วงหน้า

เวลาจำกัด

$ hashi solve --solver cdcl -H vsids --restarts luby

c กำลังรอปริศนาให้แก้…