SAT-Solver-Plugin erstellen

  1. last year

    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.

or Sign Up to reply!