SAT-Solver-Plugin erstellen

  1. 2 years ago

    Has any of you already dealt with SAT-solver For example "plingeling" or others. Since this is an extremely fast algorithm for solving complex problems, such a plugin would be very interesting.
    C ++ solutions are available. Maybe someone is interested in creating such a plugin.

  2. Christian S

    27 Jul 2018 Pre-Release Testers, Xojo Pro, XDC Speakers, Third Party Store Germany

    Well, if you have a piece of C code to do it, we can take a look.

  3. 2 months ago

    Christian S

    Nov 13 Pre-Release Testers, Xojo Pro, XDC Speakers, Third Party Store Germany

    As Jürgen was so keen to get this plugin, we finally did one for him: SATSolver

  4. Bob K

    Nov 13 Pre-Release Testers, Xojo Pro, Third Party Store Kansas City

    We found a C library solver for one of our consulting projects. Christian made a plugin for us within a day and we had it up and working in no time at all.

    If you need a Xojo plugin I highly recommend using Christian from MBS to get it done quickly and at a reasonable price.

  5. Christian S

    Nov 13 Pre-Release Testers, Xojo Pro, XDC Speakers, Third Party Store Germany

    @Bob K I could update that plugin and include it with the Complete Set if you agree. Maybe rebuild with newer plugin SDK, write documentation and keep maintained.

  6. Bob K

    Nov 13 Pre-Release Testers, Xojo Pro, Third Party Store Kansas City

    @ChristianSchmitz @Bob K I could update that plugin and include it with the Complete Set if you agree. Maybe rebuild with newer plugin SDK, write documentation and keep maintained.

    Sure. I have no problem with that.

  7. Christian S

    Nov 15 Pre-Release Testers, Xojo Pro, XDC Speakers, Third Party Store Germany

    Okay, we'll add it to the Tools plugin.

or Sign Up to reply!