blob: 2a926cb688c6202aebfe6a781df9ba1a0aca687b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
package hu.bme.mit.inf.dslreasoner.smt.reasoner
import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration
import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic
class SmtSolverConfiguration extends LogicSolverConfiguration{
public boolean fixRandomSeed = false
public SMTReasoningTactic strategy = null
}
|