adding haskell native solvers

Question

adding haskell native solvers

Opened this issue 12 years ago · 5 comments

cartazio commented 12 years ago

evaluate & port the funsat solver
get the ideas from Schoning '99 and its child papers
Moser Derandomized 2010 etc. Not a practical solver, but cute simple one that has a probabilistic bound on time. Also possible substrate to build more interesting solvers easily

Answer 1 · 2013-03-11T07:49:21.000Z

handy links / discussion here http://cstheory.stackexchange.com/questions/1060/best-upper-bounds-on-sat

Answer 2 · 2013-03-11T18:36:23.000Z

also should add a notes/papers.md for collecting algorithm / design idea notes and associated reading list

Answer 3 · 2023-09-11T01:39:20.000Z

I found a native haskell sat driver.
https://hackage.haskell.org/package/ersatz-toysat
Not sure if this is good enough or whether it should be incorporated to ersatz itself. Thoughts?

Answer 4 · 2023-09-11T02:19:06.000Z

My very fuzzy understanding is toysolver is actually a pretty competitive system, despite its name, that’s placed in some silver competitions

…

On Sun, Sep 10, 2023 at 9:39 PM Xwtek ***@***.***> wrote: I found a native haskell sat driver. https://hackage.haskell.org/package/ersatz-toysat Not sure if this is good enough or whether it should be incorporated to ersatz itself. Thoughts? — Reply to this email directly, view it on GitHub <#2 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAABBQRGSTHE4W5XVPDNP33XZZTVFANCNFSM4AD5JEFQ> . You are receiving this because you authored the thread.Message ID: ***@***.***>

Answer 5 · 2023-09-11T02:22:00.000Z

Certainly deserves being added to the readme. On Sun, Sep 10, 2023 at 10:18 PM Carter Schonwald < ***@***.***> wrote:

…

My very fuzzy understanding is toysolver is actually a pretty competitive system, despite its name, that’s placed in some silver competitions On Sun, Sep 10, 2023 at 9:39 PM Xwtek ***@***.***> wrote: > I found a native haskell sat driver. > https://hackage.haskell.org/package/ersatz-toysat > Not sure if this is good enough or whether it should be incorporated to > ersatz itself. Thoughts? > > — > Reply to this email directly, view it on GitHub > <#2 (comment)>, or > unsubscribe > <https://github.com/notifications/unsubscribe-auth/AAABBQRGSTHE4W5XVPDNP33XZZTVFANCNFSM4AD5JEFQ> > . > You are receiving this because you authored the thread.Message ID: > ***@***.***> >