GitHub repository: kino-mc/kino
Primary language: Rust
Created: 2016-09-13T13:45:57Z
Description: Kinō (帰納: induction, recursion) is an SMT-based, k-induction engine for transition systems.