URL details: souffle-lang.github.io
URL title:
Soufflé | Soufflé • A Datalog Synthesis Tool for Static Analysis
URL keywords:
homepage
URL last crawled:
2022-06-22
URL speed:
0.105 MB/s,
downloaded in 0.100 seconds
6 external links to this url
Only links from external domains are shown on this page.
found date
link text
from url
2024-07-27
Souffle
2024-07-26
Souffle datalog compiler
2022-06-28
Souffle
2022-05-20
Souffle
2021-09-12
Souffle Programming Language
2021-05-31
Souffle Datalog