FRDCSA
Minor
Internal
External
Git
Packages
datalogsolve
Jump To:
Parent Description
DATALOG_SOLVE is a new static analyzer which implements a powerful, fully automatable method to evaluate Datalog queries by using Boolean Equation Systems (BESs).