Skip to content

Conversation

@WhiteBlackGoose
Copy link
Member

Started working on analytical solving

@WhiteBlackGoose WhiteBlackGoose merged commit eaaca7c into master Jan 8, 2020
@charlesroddie
Copy link

@WhiteBlackGoose We built a solver in F#. Would you like to discuss some ideas? We could, for example, test solvers and simplification on some shared data and seeing where final results differ.

One thing I'd like to explore when time permits is having a solver nice steps, expand steps into smaller ones when asked, and having some sort of search for the minimum number of steps. "Can solve in 3 steps" just like chess "mate in 3".

If you have time, please reach me at my email in my profile. Thanks.

@siriak
Copy link

siriak commented Apr 6, 2020

@charlesroddie @WhiteBlackGoose could you also include me ([email protected]) in your mailing list, or discuss matters in issues or any other open place? It seems to me that your discussion may be interesting to many other people, including me :)

@charlesroddie
Copy link

@siriak I'm just scoping this out to start with. Hope to have open discussions on some of these issues over time. Probably in github issues but perhaps an online meetup for .net maths could work too?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants