Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
soft [2018/11/01 21:18]
aign [Legacy Software]
soft [2018/11/01 21:33] (current)
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 ====
  
Print/export