SAT Race 2008 Results

[Daniel Le Berre]

Dear Minisat users,

Just for those who did not pay attention yet to the results of the SAT
Race 2008:
http://www-sr.informatik.uni-tuebingen.de/sat-race-2008/results.html

Minisat 2.1 got first place in the traditional sequential track and
minisat++ 1.0 got first place in the AIG track.

Congrats to the minisat team!

Daniel

[jw]

> Congrats to the minisat team!

Yeah, especially since minisat-2.0 seems to be the core
on which also ManySat and pMiniSat were built.

Makes you wonder: if the original minisat was GPLed,
then these extensions would be as well ...

What is the best open source SAT solver from this year's race?

Best regards, J. W.

[Daniel Le Berre]

jw a écrit :

>> Congrats to the minisat team!
>>
>
> Yeah, especially since minisat-2.0 seems to be the core
> on which also ManySat and pMiniSat were built.
>
>

Remember that Minisat inherits from Chaff, that in turn inherits from GRASP.

Sharing knowledge through code has been one key factor of SAT solvers
improvements.

> Makes you wonder: if the original minisat was GPLed,
> then these extensions would be as well ...
>
>

And licensing Minisat in GPL would prevent its use in many products,
thus limit its interest outside academia ...
(and maybe inside academia too)

> What is the best open source SAT solver from this year's race?
>
>

I guess it is MXC (5th place):
http://www.cs.sfu.ca/research/groups/mxp/MXC/

The source code of the other solvers does not seem available (yet).
> Best regards, J. W.
>

Daniel