Skip to content

@kino-mc Kino Model-Checker

Change the repository type filter

All

    Repositories list

    2 repositories

    • rsmt2

      Public
      A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
      Rust
      •
      Apache License 2.0
      •14•65•4•3•Updated Mar 5, 2024Mar 5, 2024

    • kino

      Public archive
      Kinō (帰納: induction, recursion) is an SMT-based, k-induction engine for transition systems.
      Rust
      •
      Apache License 2.0
      •3•1•0•0•Updated Jun 6, 2022Jun 6, 2022