BoiseState-AdaptLab/IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.

CStars 2Forks 4Watchers 2Open issues 127License BSD 2-Clause "Simplified" License

Details

仓库信息

OwnerBoiseState-AdaptLab

Homepage—

Last pushed2023-02-21

Last updated2025-12-15

Issues fetched at—

Community at a glance