BDDTab
From MaRDI portal
Software:44017
No author found.
Source code repository: https://github.com/jasonjli/bddtab
Related Items (4)
CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT ⋮ Implementing Tableau Calculi Using BDDs: BDDTab System Description ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ : A Resolution-Based Prover for Multimodal K
This page was built for software: BDDTab
