Solving a Sudoku with SBY and Formal Verification

Lobsters·5 points·pbsds·almost 3 years ago·blog.yosyshq.com

Read the full article at blog.yosyshq.com →

#sby #solving #verification #sudoku #formal #formal verification #formalmethods #hardware

Related stories

Launch HN: Magnitude (YC S25) – Self-optimizing inference engine for agentsgithub.com
Hacker News · 131 points · about 11 hours ago
MoonBit 0.9: Introducing First-Class Formal Verificationmoonbitlang.com
Lobsters · 3 points · 6 months ago
Picoputer: RP Pico Hardware Transputer – Stack Based With OS in Hardwaretrochilidae.blogspot.com
Lobsters · 5 points · over 4 years ago
VeriTile: Formal Verification for Triton Kernelslizn-zn.github.io
Hacker News · 2 points · 6 days ago
Show HN: Canary (YC) – Independent verification for AI coderuncanary.ai
Hacker News · 7 points · 6 days ago
Discord age verification rolls out today with changes spurred by user backlasharstechnica.com
Ars Technica · 0 points · 7 days ago

Related topics

hardware123 solving17 formalmethods18 verification24 sudoku4 formal11 formal verification3