Class OpenWboSolver

All Implemented Interfaces:
BeliefSetConsistencyTester<PlFormula>, ConsistencyTester<BeliefSet<PlFormula,?>>, ConsistencyWitnessProvider<PlBeliefSet,PlFormula>

public class OpenWboSolver extends DimacsMaxSatSolver
Provides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo. Tested with open-wbo 2.1
Author:
Matthias Thimm
  • Constructor Details

    • OpenWboSolver

      public OpenWboSolver(String binaryLocation)
      Creates a new solver based on the open-wbo executable given as a parameter.
      Parameters:
      binaryLocation - the path to the executable.
  • Method Details