Solver
fun SolverState( baseDirectory: String, outputFileCreator: (String) -> Writer, names: NameProvider = NameProvider(), solver: Solver = Solver(names), prover: ProverEnvironment = solver.newProverEnvironment(
SolverContext.ProverOptions.GENERATE_MODELS,
SolverContext.ProverOptions.GENERATE_UNSAT_CORE
), callableConstraints: MutableMap<FqName, MutableList<DeclarationConstraints>> = mutableMapOf(), solverTrace: MutableList<String> = mutableListOf(), fieldProvider: FieldProvider = FieldProvider(solver, prover), reportedErrors: MutableSet<ReportedError> = mutableSetOf())
Content copied to clipboard