datalogsolve


  • DATALOG_SOLVE is a new static analyzer which implements a powerful, fully automatable method to evaluate Datalog queries by using Boolean Equation Systems (BESs).