.
FRDCSA | git codebases | datalogsolve
Homepage

[Project image]
datalogsolve

Jump to: Project Description

Project 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).


This page is part of the FWeb package.
Last updated Sat Oct 26 16:59:58 EDT 2019 .