Skip to content
@kino-mc

Kino Model-Checker

Popular repositories Loading

  1. rsmt2 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 65 14

  2. kino kino Public archive

    Kinō (帰納: induction, recursion) is an SMT-based, k-induction engine for transition systems.

    Rust 1 3

Repositories

Showing 2 of 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.

    kino-mc/rsmt2’s past year of commit activity
    Rust 65 Apache-2.0 14 4 (2 issues need help) 3 Updated Mar 5, 2024
  • kino Public archive

    Kinō (帰納: induction, recursion) is an SMT-based, k-induction engine for transition systems.

    kino-mc/kino’s past year of commit activity
    Rust 1 Apache-2.0 3 0 0 Updated Jun 6, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…