Cannot build - Githubissues

miguel-ambrona / D3-Chess

Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.

https://chasolver.org

GNU General Public License v3.0

51 stars 8 forks source link

Cannot build #2

Closed dlbbld closed 3 years ago

dlbbld commented 3 years ago

Did not see that Stockfish project is adapted for compiling

miguel-ambrona commented 3 years ago

Hey! I am sorry you spent hours trying to set up the tool. I am happy to help, just let me know if you need anything.

Installation is working fine for me on Ubuntu 20.04. I use Stockifsh for move generation because it is incredibly efficient and that way I could focus on the important part: the algorithm for deciding unwinnability.

dlbbld commented 3 years ago

Hi I understood that you compile against Stockfish for you use the below wording.

This tool uses Stockfish as a back end for move generation and chess-related functions.

But as I understand now, that you are recompiling Stockfish with your added code. That is technically a completely different thing, and my problem resulted from using Windows first and then second from there. Can you please adapt the wording to be a bit more precise?

I have a few questions

I am also interested in Stockfish legal move generation. Is there a way to get the legal moves from Stockfish?
For I understand the answer is no for Stockfish as is. So a possibly improved approach would be to fork Stockfish to make legal move generation available. Then compile your code against this forked project. This, as a result of improved organization, would avoid recompiling all Stockfish code, already mentioned somewhere.

miguel-ambrona commented 3 years ago

Can you please adapt the wording to be a bit more precise?

I will try to make it more clear.

I am also interested in Stockfish legal move generation. Is there a way to get the legal moves from Stockfish?

I am not sure I understand what you mean. I guess it depends on what you want to build. There are many easier options, for example, do you know python-chess?

This, as a result of improved organization, would avoid recompiling all Stockfish code.

I agree the link with Stockfish could be much cleaner, I didn't want to invest time on it, cause I don't know how useful it would be.

Already mentioned somewhere.

I guess you refer to Issue 1, where we mention the possibility of not downloading Stockfish all the time during the execution of the Github action (which tests the tool after every commit). That's something different. For installing the tool in your machine, I am not sure we can avoid compiling the part of Stockfish that our tool uses.

dlbbld commented 3 years ago

Thanks for the feedback.

I am not sure I understand what you mean. I guess it depends on what you want to build. There are many easier options, for example, do you know python-chess?

Yes I know python-chess very well. It's surprisingly fast for a high-level language. For Stockfish exists much longer, I would like to use it for reference tests.

I guess you refer to Issue 1, where we mention the possibility of not downloading Stockfish all the time during the execution of the Github action (which tests the tool after every commit). [...]

You are right, I understand the difference now. Thanks.