SolverState

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