-
Notifications
You must be signed in to change notification settings - Fork 24
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Build with flag -DMINISAT=on fails on mac #7
Comments
Hi Ashish, To build with brew-installed minisat on osx you can try adding these lines to CMakeLists.txt:
To generate some hard puzzles you might run like this:
And if you also prefer to drive towards low-clue or high-clue puzzles you might change to But bear in mind that this generator drives towards a notion of difficulty that doesn't always agree with human perceived difficulty (even if it's pretty well correlated). Consider using a separate rating tool to evaluate the generated puzzles if you want a rating that aligns with convention. |
Tried adding those lines, it got built successfully now and yeah i am checking the sudoku with multiple rating tools to confirm the difficulty. you are just awesome. Thanks. |
All things are great thanks Tom closing this, you are just awesome. |
@t-dillon came back here, just wanted to know how can i generate pretty easy puzzles so that a 10 year kid can play it easily. Any help would be a great. |
The closest thing tdoku has to puzzle rating is the guess count reported by its generator. If you tell it to look for puzzles that require few guesses by passing -g-1 it will converge on puzzles that require only easy techniques. That said, you'll get much better developed and human-aligned ratings from tools like Sudoku Explainer (http://forum.enjoysudoku.com/sudoku-explainer-t39865.html), so you may prefer to generate puzzles however you like and then filter them by evaluating with SE. |
Thanks i am using Sudoku explainer already to rate but the command i was trying was giving some insane puzzles :) |
Hello Tom, thanks for this amazing project I am making a small side project a sudoku game where I was trying to generate some really difficult puzzles. can you help me with a config for that I tried one you shared in an issue earlier but it requires minisat to be enabled and when I am trying to build with minisat I am greeted with the following error?
I did install minisat using brew but still, the error comes up.
A small config for creating extremely hard puzzles would be a great help.
The text was updated successfully, but these errors were encountered: