Minisat in Java or Python

[rmfalves]

Hi

Is there any version of Minisat entirely written in Java or Python?

Thanks in advance

[Shahab Tasharrofi]

If you are looking for a SAT solver in Java or Python, you can have a look at SAT4J: http://sat4j.org/

But, a re-implementation of minisat in Java or Python, by definition, is not minisat.

BR, Shahab

--

---
You received this message because you are subscribed to the Google Groups "MiniSat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minisat+u...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Allen Van Gelder]

Besides the point mentioned by Shahab,

minisat has many bit-level code optimizations (AKA hacks)

in C that do not exist in Java or Python, so you would not

get the same results, aside from time issues.

My suggestion is to try to look up information on other solvers

that have a reasonable track record and see if they say anything

about how their algorithm compares to minisat.  You should find

some in any language that entered some competitions,

and got run on benchmarks.  If you are lucky you might find

one that produced correct answers when it did not time out.

There were SAT competitions with public results through 2012,

at least.

--Allen

[Norbert Manthey]

There is a solver jMinisat by Carsten Sinz that participated in competitions 2011, and which claims to be a java reimplementation. However, i did not find the source code of that solver.

As you look for java or python, would bindings to a C implementation be good enough? Those seem to exist for both java and python.

Best,
Norbert

[rmfalves]

Thank you all. The library SAT4J, suggested by Shahab, fits my purposes.

Best

Rui

[Mate Soos]

Hey,

Just a mild warning: beware, the performance on SAT5J may not be what you might expect from MiniSat. It's a great tool, but as all tools, it's good for some things and not so good for others, as is true for all SAT solvers (or all solvers, for that matter: CPLEX, MaxHS, MiniSat, etc.) So keep that in mind when using it and try other ones if you feel like it doesn't fit your purpose.

Cheers,

Mate