smt/io.github.jmltoolkit.smt.solver/Solver

Solver

class Solver(source)

Author

Alexander Weigl

Constructors

constructor()

Functions

fun run(query: AppendableTo): SolverAnswer

fun run(input: String): SolverAnswer

fun runAsync(input: String): ForkJoinTask<SolverAnswer>