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 ==== | ||