quickbeam123/PDRplanADL
Experimental version of PDRplan based on FF parser to deal with ADL (and expected to use an encoding and Minisat)
Public GitHub Catalog
Discovered Sep 30, 2026
quickbeam123 / minireachIC3
An implementation of the model checking algorithm IC3 / PDR using Minisat 2.2 as the underlying SAT-solver
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#17711725GitHub System ID
quickbeam123Organization / User
PublicVisibility
ActiveCatalog Status
More from quickbeam123
quickbeam123/ls4
A PLTL-prover based on labelled superposition with partial model guidance
quickbeam123/PDRplan
An automated planner based on the Property Directed Reachability algorithm