Package

at.logic.gapt.provers

maxsat

Permalink

package maxsat

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. trait MaxSATSolver extends Logger

    Permalink

    This trait provides an interface to solvers for the Weighted Partial MaxSat problem.

  2. trait MaxSATSolverBinary extends MaxSATSolver

    Permalink

    A trait for such WCNF-based MaxSAT solvers that are invoked by calling an OS-level binary.

  3. class MaxSat4j extends MaxSATSolver

    Permalink

    Created by frain on 4/1/15.

  4. class MiFuMaX extends MaxSATSolverBinary

    Permalink
  5. class MiniMaxSAT extends MaxSATSolverBinary

    Permalink

    Created by frain on 3/31/15.

  6. class OpenWBO extends MaxSATSolverBinary

    Permalink
  7. class QMaxSAT extends MaxSATSolverBinary

    Permalink

    Created by frain on 3/31/15.

  8. class ToySAT extends MaxSATSolverBinary

    Permalink

    Created by frain on 3/31/15.

  9. class ToySolver extends MaxSATSolverBinary

    Permalink

    Created by frain on 3/31/15.

  10. class WDIMACSHelper extends DIMACSHelper

    Permalink

Value Members

  1. object Format extends Enumeration

    Permalink

    An enumeration to distinguish different output formats of WCNF-based MaxSAT solvers.

  2. object bestAvailableMaxSatSolver extends MaxSATSolver

    Permalink
  3. object readWDIMACS

    Permalink

Ungrouped