Success

fun <T : Theory> Success(theory: T, clauses: Iterable<Clause>)
Content copied to clipboard