souffle-lang/souffle-lang.github.io

Issues

• Correct DOOP URL

  #149 opened 7 months ago by KnowledgeGarden
  0

• Compile Mistake for Souffle during installation

  #147 opened 9 months ago by grpfrt
  0

• There is a problem with the sample in chapter "The Witness Problem"

  #132 opened 2 years ago by glishijie
  2

• Need doc for `.lattice`

  #139 opened a year ago by quentin
  0

• Need doc for `.decl D = debug_delta(R)`

  #136 opened 2 years ago by quentin
  0

• Missing tutorial example solution

  #115 opened 3 years ago by fEst1ck
  0

• Installation directives do not work on my Ubuntu 20.04.3 LTS

  #104 opened 3 years ago by lukasdenk
  1

• No program named souffle-profile

  #102 opened 3 years ago by jckling
  2

• functor problem

  #96 opened 3 years ago by lyj18688610256
  11

• Output Directive

  #94 opened 3 years ago by b-scholz
  0

• Implementation of Relations

  #91 opened 3 years ago by b-scholz
  0

• Grounded Variables

  #88 opened 3 years ago by b-scholz
  0

• Tuning

  #87 opened 3 years ago by b-scholz
  0

• Type System

  #86 opened 3 years ago by b-scholz
  0

• Grammar in choice-domain documentation is incorrect

  #68 opened 4 years ago by langston-barrett
  1

• Does not interpret hexadecimal numbers correctly from input files

  #35 opened 5 years ago by shrutihiray
  1

• Tab separated input files

  #20 opened 6 years ago by panispani
  2

• Bernhard copy-paste error

  #13 opened 6 years ago by pnappa
  0

• Invalid TLS certificate for souffle-lang.org

  #5 opened 6 years ago by 0xl3x1
  4