Issues

• --wmc-with-disjunctions` gives a different marginal for an annotated disjunction

  scallop-lang/scallop#64 · Filter by author shizukaxiu opened on Sep 4, 2026

• Scallopy context clone function bug

  scallop-lang/scallop#56 · Filter by author gorbondiga opened on May 20, 2026
  2

• scallopy.Module

  scallop-lang/scallop#55 · Filter by author hammondm opened on Mar 11, 2026

• Unable to run the data understanding example

  scallop-lang/scallop#54 · Filter by author mahi045 opened on Feb 19, 2026

• Can ignore scallopy_ext?

  scallop-lang/scallop#53 · Filter by author mahi045 opened on Dec 3, 2025

• Question: Extending Proof Computation in Scallop

  scallop-lang/scallop#52 · Filter by author mahi045 opened on Oct 29, 2025

• Query on Top-K Provenance Computation in Scallop

  scallop-lang/scallop#51 · Filter by author mahi045 opened on Oct 27, 2025
  2

• can not compile basic example

  scallop-lang/scallop#50 · Filter by author edelah opened on Sep 4, 2025
  1

• Scallopy: Adding probabilities to rules

  scallop-lang/scallop#46 · Filter by author laurendelong21 opened on Mar 14, 2025

• regression & uncertainty estimate

  scallop-lang/scallop#45 · Filter by author AmosJoseph opened on Feb 22, 2025

• "Constraints unbound error" for similar working Datalog code

  scallop-lang/scallop#44 · Filter by author paulsushmita opened on Feb 21, 2025
  2

• Installation Error on Mac

  scallop-lang/scallop#43 · Filter by author Sanya1001 opened on Feb 4, 2025

• Uninformative Error when context not set in Scallopy

  scallop-lang/scallop#42 · Filter by author buddha314 opened on Jan 25, 2025

• does the framework support LLM query?

  scallop-lang/scallop#41 · Filter by author ghost opened on Jan 1, 2025

• Discussion: On-Demand Interface Design (Python vs Scallop)

  scallop-lang/scallop#40 · Filter by author RAbraham opened on Jan 1, 2025

• Unknown provenance tropical

  scallop-lang/scallop#39 · Filter by author RAbraham opened on Dec 28, 2024
  1

• Differences in Query Interface: Scallop vs Python

  scallop-lang/scallop#37 · Filter by author RAbraham opened on Dec 12, 2024

• Scallop with GPU doesn't work

  scallop-lang/scallop#33 · Filter by author ldtho opened on Nov 22, 2024

• Python FFI Exception: Return type cannot be a type family (TypeFamily(Integer))

  scallop-lang/scallop#31 · Filter by author RAbraham opened on Nov 22, 2024
  1

• pacman_maze The training process is unstable

  scallop-lang/scallop#29 · Filter by author zdx3578 opened on Oct 11, 2024
  1

• where is more doc info about "Scallop provides 18 built-in provenances (4 for discrete reasoning, 6 for probabilistic, and 8 for differentiable)"

  scallop-lang/scallop#24 · Filter by author zdx3578 opened on Sep 11, 2024

• Error when running GPT experimental : scallopy_ext not loaded correctly

  scallop-lang/scallop#23 · Filter by author StarGazerM opened on Sep 3, 2024

• Vanishing gradients on "sparse" relations

  scallop-lang/scallop#21 · Filter by author HashakGik opened on Jul 3, 2024

• "Neurosymbolic"

  scallop-lang/scallop#20 · Filter by author brurucy opened on May 23, 2024
  1

• Feature Request: Node and Edges via GraphML

  scallop-lang/scallop#18 · Filter by author buddha314 opened on Mar 16, 2024
  1