Last released Feb 22, 2023
Weighted Model Integration PA (Predicate Abstraction) solver.
Last released Mar 6, 2020
Essential tools and interfaces for WMI solving.
Supported by