At a Glance
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | GPL-3.0 |
| Maintenance | Actively Maintained |
Description
Implementation of the Property-Directed Reachability algorithm in the Fast Downward planning system.
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | GPL-3.0 |
| Maintenance | Actively Maintained |
Implementation of the Property-Directed Reachability algorithm in the Fast Downward planning system.