[bug#57181] [PATCH] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat

[Maximilian Heisinger]

Hi,

sorry, doing the correct CC now.

> Recursive checkout doesn't really sound "mini".

Oh, there's some history behind the mini...  CryptoMiniSat adds some stuff 
commonly needed in cryptography to MiniSat, which is a common base for many 
other SAT solvers.  Kissat is "clean" mainly because it is a new solver that 
completely breaks with the old MiniSat codebase (and it cleans up some stuff, 
that was done in CaDiCaL, which I also intend to add later, as some features 
are still missing from Kissat).  And MiniSat itself was a nice and minimal 
implementation containing (back then) the state-of-the-art optimizations.

> could we try to make this a shared library?

Done.

Also updated the text and the commit messages :)

Best regards,
Max

0002-PATCH-gnu-Add-modern-SAT-solver-kissat.patch
Description: Text Data

0001-PATCH-gnu-Add-modern-SAT-solver-cryptominisat5.patch
Description: Text Data

signature.asc
Description: PGP signature