DefaultConfig returns the default configuration for a MAX-SAT configuration.

HandlerWithTimeout generates a new timeout handler with the given timeout.

IncWBO generates a new MAX-SAT solver with the Incremental Weighted Boolean Optimization algorithm.

LinearSU generates a new MAX-SAT solver with the Linear Sat-Unsat algorithm.

LinearUS generates a new MAX-SAT solver with the Linear Unsat-Sat algorithm.

MSU3 generates a new MAX-SAT solver with the MSU3 algorithm, a seminal-core guided algorithm.

OLL generates a new MAX-SAT solver with the OLL algorithm.

ReadDimacsToSolver reads a Dimacs file for weighted MAX-SAT problems from the given filename and loads it directly to the given solver.

WBO generates a new MAX-SAT solver with the Weighted Boolean Optimization algorithm.

WMSU3 generates a new MAX-SAT solver with the weighted MSU3 algorithm, a seminal-core guided algorithm.

Config describes the configuration of a MAX-SAT solver.

Result represents the result of a MAX-SAT computation.

A Solver can be used to solve the MAX-SAT problem.

A TimeoutHandler can be used to abort a MAX-SAT computation depending on a timeout set beforehand.

Handler is an interface for MAX-SAT handlers which can abort the computation based on the upper and lower bounds found during the computation.

Algorithm encodes the different MAX-SAT algorithms.

IncrementalStrategy encodes the different strategies for incremental encoding.

WeightStrategy encodes the different strategies for handling weights.