Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
kind2
Multi-engine SMT-based automatic model checker
https://kind2-mc.github.io/kind2/
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2023-06-03
sci-mathematics/kind2: new package; add 1.9.0
267fe5e
Maciej Barć
committed on 2023-06-03 16:55:36 UTC
sci-mathematics/kind2/Manifest
sci-mathematics/kind2/kind2-1.9.0.ebuild
sci-mathematics/kind2/metadata.xml
Packages