package maxsat
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class ExternalMaxSATSolver extends MaxSATSolver with ExternalProgram
-
abstract
class
MaxSATSolver
extends Logger
Solver for Weighted Partial MaxSAT problems.
- class MaxSat4j extends MaxSATSolver
Value Members
- object MaxSat4j extends MaxSat4j
- object MiFuMaX extends ExternalMaxSATSolver
- object MiniMaxSAT extends ExternalMaxSATSolver
- object OpenWBO extends ExternalMaxSATSolver
- object QMaxSAT extends ExternalMaxSATSolver
- object ToySAT extends ExternalMaxSATSolver
- object ToySolver extends ExternalMaxSATSolver
- object bestAvailableMaxSatSolver extends MaxSATSolver