This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
In a waiting room this week I opened a newspaper to find the following puzzle, named “Suko” (a trademark of Puzzler ). Various approaches exist to solving them manually and it’s possible to play online . However they are an excellent candidate for an SMT solver so I decided to implement one using pysmt . The puzzle The idea behind Suko is simple (manually solving is not!). In the…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.