adding haskell native solvers

ekmett / ersatz

A monad for interfacing with external SAT solvers

Other

63 stars 15 forks source link

adding haskell native solvers #2

Open cartazio opened 11 years ago

cartazio commented 11 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

cartazio commented 11 years ago

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

cartazio commented 11 years ago

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

Xwtek commented 1 year ago

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?

cartazio commented 1 year ago

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 https://github.com/ekmett/ersatz/issues/2#issuecomment-1713029602, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAABBQRGSTHE4W5XVPDNP33XZZTVFANCNFSM4AD5JEFQ . You are receiving this because you authored the thread.Message ID: @.***>

cartazio commented 1 year ago

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 https://github.com/ekmett/ersatz/issues/2#issuecomment-1713029602, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAABBQRGSTHE4W5XVPDNP33XZZTVFANCNFSM4AD5JEFQ . You are receiving this because you authored the thread.Message ID: @.***>