FRDCSA | git codebases | datalogsolve

[Project image]

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 .