After 3.5 years (!!), I am proud to announce that I've written a new blog post on my site:
"Using `z3` To Solve Logic Puzzles"
`z3` is an SMT solver; this post also serves as a whirlwind introduction to SAT and SMT problems. So if you've heard about SAT/SMT, but don't know how they work, give my post a read!
I hope you all enjoy, and would love to hear feedback:
https://www.wdj-consulting.com/blog/logicpuzzle-z3
William D. Jones /
npub1jx…rkj3q
2023-08-15 17:04:48
Author Public Key
npub1jxm2pnrkuvvanxe222gxlusu3jjazecul47xecpsgeremyxvywlsurkj3qSeen on
wss://relay.nostr.bandPublished at
2023-08-15 17:04:48Event JSON
{
"id": "a976c0297f05a6bb7a5f15b24c14ee210987917bd4cdd8521b6705b763ba5852",
"pubkey": "91b6a0cc76e319d99b2a52906ff21c8ca5d1671cfd7c6ce03046479d90cc23bf",
"created_at": 1692119088,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/cr1901/statuses/110894716553821582",
"activitypub"
]
],
"content": "After 3.5 years (!!), I am proud to announce that I've written a new blog post on my site:\n\n\"Using `z3` To Solve Logic Puzzles\"\n\n`z3` is an SMT solver; this post also serves as a whirlwind introduction to SAT and SMT problems. So if you've heard about SAT/SMT, but don't know how they work, give my post a read!\n\nI hope you all enjoy, and would love to hear feedback:\n\nhttps://www.wdj-consulting.com/blog/logicpuzzle-z3",
"sig": "5d5f0e4bd6a57dfb105ec64d3ea278984a254e2065706bbb1c1b68565626d32efb70b75c635c9fa75ba071dec7ecbbe99ff63127830cf8b1c6f1b06985b42b47"
}