kdrag.solvers.aprove

Functions

run_aprove(vs, eqs[, timeout])

kdrag.solvers.aprove.run_aprove(vs: list[ExprRef], eqs: list[BoolRef], timeout=1)

Parameters:

• vs (list[ExprRef])

• eqs (list[BoolRef])