mikino_api (cargo): A simple induction and BMC engine
Keywords: satisfiability|induction|verification|smt