Show patches with: Series = Update some SAT/ASP solvers       |    State = Action Required       |    Archived = No       |   8 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#73551,8/8] gnu: cryptominisat: Update to 5.11.22. Update some SAT/ASP solvers - - - --- 2024-09-29 Liliana Marie Prikler New
[bug#73551,7/8] gnu: Add cadiback-for-cryptominisat. Update some SAT/ASP solvers - - - --- 2024-09-29 Liliana Marie Prikler New
[bug#73551,6/8] gnu: Add cadiback. Update some SAT/ASP solvers - - - --- 2024-09-29 Liliana Marie Prikler New
[bug#73551,5/8] gnu: Add cadical. Update some SAT/ASP solvers - - - --- 2024-09-29 Liliana Marie Prikler New
[bug#73551,4/8] gnu: lingeling: Update to 1.0.0. Update some SAT/ASP solvers - - - --- 2024-09-25 Liliana Marie Prikler New
[bug#73551,3/8] gnu: z3: Update to 4.13.0. Update some SAT/ASP solvers - - - --- 2024-09-25 Liliana Marie Prikler New
[bug#73551,2/8] gnu: kissat: Update to 4.0.1. Update some SAT/ASP solvers - - - --- 2024-09-25 Liliana Marie Prikler New
[bug#73551,1/8] gnu: scasp: Update to 1.1.4. Update some SAT/ASP solvers - - - --- 2024-09-25 Liliana Marie Prikler New