Souffle Reviews Save

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Overview
Versions
Reviews
Resources

No reviews for this project.

Add review

Open Source Agenda Badge

<a href="https://www.opensourceagenda.com/projects/souffle"><img src="https://www.opensourceagenda.com/projects/souffle/reviews/badge.svg" alt="Open Source Agenda"></a>

Submit Review Review Your Favorite Project

From the blog

Dec 11, 2022

Souffle Reviews Save

Open Source Agenda Badge

From the blog

How to Choose Which Programming Language to Learn First?