yardbird

Public

A tool for domain-guided quantifier instantiation. Currently focused on BMC for the array theory.

MIT License

Updated Jan 30, 2026

Created Apr 9, 2024

4 stars

0 forks

2 watchers

14 open issues

Languages

Codebase composition by bytes

Top Contributors

383 commits

129 commits

2 commits

Recent Stargazers

about 1 year ago

9 months ago

8 months ago

9 days ago

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 14Closed Issues 44

Open Issues58

Activity Peak

Most recent day with highest activityJan 30, 2026 • 1 events

GitHub Analytics