Popular repositories Loading
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 - 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
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…