My sandbox for experimenting with solver algorithms.
Why do you think that https://github.com/ekmett/lca is a good alternative to toysolver
My sandbox for experimenting with solver algorithms.
Why do you think that https://github.com/ekmett/lca is a good alternative to toysolver