de.stups.probkodkod

Class SolverChecker

java.lang.Object

de.stups.probkodkod.SolverChecker

public class SolverChecker
extends java.lang.Object

Here we determine if we use Minisat or SAT4J as back-end. We do this by trying to load minisat.

Constructor Summary

Constructors

Constructor and Description
SolverChecker()

Method Summary

Methods

Modifier and Type	Method and Description
static SATFactory	determineSatFactory()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SolverChecker

public SolverChecker()

Method Detail

determineSatFactory

public static SATFactory determineSatFactory()