Projects in Awesome Lists tagged with pdr-algorithm
A curated list of projects in awesome lists tagged with pdr-algorithm .
https://github.com/gipsyh/rIC3
A high-performance IC3/PDR algorithm implementation in Rust.
formal-verification ic3 model-checking pdr-algorithm
Last synced: 13 Aug 2025
https://github.com/tiim/fast-downward-pdr
Implementation of the Property-Directed Reachability algorithm in the Fast Downward planning system. Implementation of my masters thesis.
fast-downward pdr-algorithm problem-solving
Last synced: 23 Mar 2025
