Show patches with: Series = [bug#57181] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat       |    State = Action Required       |   4 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#57181,v2,4/4] gnu: Add cryptominisat. [bug#57181] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat - - - --- 2022-10-15 Liliana Marie Prikler New
[bug#57181,v2,3/4] gnu: Add louvain-community. [bug#57181] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat - - - --- 2022-10-15 Liliana Marie Prikler New
[bug#57181,v2,2/4] gnu: Add lingeling. [bug#57181] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat - - - --- 2022-10-15 Liliana Marie Prikler New
[bug#57181] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat [bug#57181] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat - - - --- 2022-08-13 Maximilian Heisinger New