Class CaqeSolver

java.lang.Object
org.tweetyproject.logics.qbf.reasoner.QbfSolver
org.tweetyproject.logics.qbf.reasoner.CaqeSolver
All Implemented Interfaces:
BeliefSetConsistencyTester<PlFormula>, ConsistencyTester<BeliefSet<PlFormula,?>>

public class CaqeSolver extends QbfSolver
A wrapper for the Caqe (https://www.react.uni-saarland.de/tools/caqe/ solver.
Tested with the 2019 version: https://github.com/ltentrup/caqe/
Author:
Anna Gessler
  • Constructor Details

    • CaqeSolver

      public CaqeSolver(String binaryLocation, Shell bash)
      Constructs a new instance pointing to a specific CaqeSolver.
      Parameters:
      binaryLocation - of the CAQE executable on the hard drive
      bash - shell to run commands
    • CaqeSolver

      public CaqeSolver(String binaryLocation)
      Constructs a new instance pointing to a specific CaqeSolver
      Parameters:
      binaryLocation - of the CAQE executable on the hard drive
  • Method Details

    • isSatisfiable

      public boolean isSatisfiable(Collection<PlFormula> kb)
      Description copied from class: QbfSolver
      Checks whether the given set of formulas is satisfiable.
      Specified by:
      isSatisfiable in class QbfSolver
      Parameters:
      kb - a set of formulas.
      Returns:
      "true" if the set is consistent.
    • isInstalled

      public boolean isInstalled()
      Specified by:
      isInstalled in class QbfSolver