Discussions

• 1 You must be logged in to vote

  🙏

  Is Sqlite facts supported for binary executable?

  khanhhua asked Sep 27, 2025 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Indexes for ADT branches?

  wkhan-figma asked Aug 11, 2025 in Q&A · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  🙏

  eqrel Behavior

  KarlJoad asked Sep 12, 2025 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Unexpected behavior (negations?)

  iowaguy asked Feb 6, 2025 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  SQL like joins in datalog

  sreevyshnavi02 asked Dec 26, 2024 in Q&A · Unanswered

  

  

  

  

  7
• 1 You must be logged in to vote

  🙏

  Parallelization of souffle

  EvgSkv asked Nov 2, 2024 in Q&A · Answered

  

  

  4
• 0 You must be logged in to vote

  🙏

  How to accurately measure the "computation time" of a program generated by Soufflé?

  yahyachan asked Oct 23, 2024 in Q&A · Closed · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Compilation error using C++ interface

  Sirneij asked Jul 24, 2024 in Q&A · Answered

  

  

  

  

  6
• 1 You must be logged in to vote

  🙏

  Issues with compiling c++ generated file for windows via visual studio

  Arnavpmr asked Sep 25, 2024 in Q&A · Closed · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Can Soufflé be used incrementally?

  andrewcropper asked May 3, 2024 in Q&A · Unanswered

  

  

  

  

  9
• 2 You must be logged in to vote

  🙏

  Custom Functors in C++

  CyrilFMoser asked May 28, 2024 in Q&A · Answered

  

  

  6
• 1 You must be logged in to vote

  🙏

  Failed to create instance

  Sirneij asked May 6, 2024 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Error building from source and activating souffle

  Sirneij asked Apr 21, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Retrieving the cputime and total runtime (in seconds)

  Sirneij asked Apr 3, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Ungrounded record error when destructuring with don't-cares?

  bug - identified Bugs with an identified cause question

  TomBinford asked Mar 26, 2024 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  Question about self join

  question

  StarGazerM started Nov 28, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Homebrew formula for Souffle 2.4 release

  kpadmasola started Dec 21, 2023 in General · Closed

  

  

  0
• 2 You must be logged in to vote

  🙏

  Help with string tokenization

  kpadmasola asked Dec 8, 2023 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Better solution for intersection of multiple sets?

  Laschoking asked Feb 17, 2023 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Are witnesses permitted now?

  documentation

  kpadmasola asked Nov 23, 2023 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Displaying full paths in control flow graphs

  d0rata asked Jul 3, 2023 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💬

  Conjecture generation

  rschwiebert started Jul 13, 2023 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Release 2.4 title

  langston-barrett started Mar 18, 2023 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  🙏

  Compiling for Debian 10

  schwidom asked Mar 6, 2023 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙌

  Wikipedia page

  langston-barrett started Feb 26, 2023 in Show and tell

  

  

  0