gapt.provers.maxsat.bestAvailableMaxSatSolver.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.provers.maxsat
import gapt.formats.dimacs.DIMACS.{Model, Clause, CNF}
object bestAvailableMaxSatSolver extends MaxSATSolver {
val actualSolver =
Seq(OpenWBO, QMaxSAT).find(_.isInstalled).getOrElse(MaxSat4j)
override def solve(hard: CNF, soft: Seq[(Clause, Int)]): Option[Model] =
actualSolver.solve(hard, soft)
}