ksmt-core/io.ksmt.parser/KSMTLibParser

KSMTLibParser

interface KSMTLibParser

Functions

Link copied to clipboard
abstract fun parse(smtLibFile: Path): List<KExpr<KBoolSort>>

Parse the given file smtLibFile using the SMT-LIB2 parser.

abstract fun parse(smtLibString: String): List<KExpr<KBoolSort>>

Parse the given string smtLibString using the SMT-LIB2 parser.