Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
soft [2018/11/01 21:18] aign [Legacy Software] |
soft [2018/11/01 21:33] aign [Software] |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| * [[Hypers | Hyper]] and [[Hypers | Hyper*]] : Implicit Hitting Set solvers for the Propositional Abduction problem | * [[Hypers | Hyper]] and [[Hypers | Hyper*]] : Implicit Hitting Set solvers for the Propositional Abduction problem | ||
| * [[MSCG | MSCG]]: state of the art MaxSAT solver | * [[MSCG | MSCG]]: state of the art MaxSAT solver | ||
| - | * [[PySAT | PySAT]]: a Python toolkit for Prototyping with SAT oracles\\ | + | * [[PySAT | PySAT]]: a Python toolkit for Prototyping with SAT oracles |
| - | + | * [[RC2 | RC2]]: an efficient core-guided MaxSAT solver based on relaxable cardinality constraints | |
| ==== Legacy Software ==== | ==== Legacy Software ==== | ||
