Discussions

• 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
• 1 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
• 1 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
• 2 You must be logged in to vote

  💡

  Integration with duckdb

  didier-nimble started Jan 3, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Ambiguities in Souffle grammar

  quentin started Dec 26, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Pretty printing relations

  ydewit started Nov 30, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  🙌

  Online "REPL"

  bmeck started Nov 11, 2022 in Show and tell

  

  

  

  

  11
• 4 You must be logged in to vote

  🙌

  A linter for Soufflé

  langston-barrett started Oct 22, 2022 in Show and tell

  

  

  4