souffle-lang/souffle

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.

992 stars 0 forks 0 watchers C++

datalog logic-programming souffle static-code-analysis translator

View on GitHub

1 Open Issue Need Help Last updated: Jun 18, 2025

Open Issues Need Help

View All on GitHub

`magic_nqueens` and `inline_nqueens` tests segfault in Windows CI 3 months ago

AI Summary: Investigate and debug two failing tests (`magic_nqueens` and `inline_nqueens`) in the Soufflé compiler that cause segfaults on Windows CI. This requires access to a Windows development environment with MSVC.

Complexity: 4/5

help wanted compatibility bug - triage

souffle-lang/souffle

992

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.

C++

#datalog#logic-programming#souffle#static-code-analysis#translator