Alternatives and similar repositories for FOLD-R-PP:

Users that are interested in FOLD-R-PP are comparing it to the libraries listed below

• ilaspltd / ILASP-releases
  ☆36Updated 4 months ago
• asolarlez / sketch-frontend
  ☆34Updated last week
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated 11 months ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated this week
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆35Updated 2 months ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆20Updated 4 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated 2 weeks ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 2 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated 5 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated 3 weeks ago
• asolarlez / sketch-backend
  ☆39Updated 5 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆220Updated last week
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 4 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆157Updated last month
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 5 months ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆57Updated 2 years ago
• spike-imperial / FastLAS
  ☆19Updated last month
• VeriFIT / mata
  A fast and simple automata library
  ☆23Updated this week
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆24Updated last week
• probing-lab / polar
  ☆16Updated 8 months ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆84Updated 3 years ago
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆148Updated 3 weeks ago
• celinehocquette / numsynth-aaai23
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆14Updated 2 years ago
• crillab / d4
  d4 Model Counter
  ☆15Updated last year
• ejmichaud / neural-verification
  MI and Formal Verification of NNs on Algorithmic tasks!
  ☆17Updated last year
• potassco / plingo
  🍀 A system for probabilistic reasoning in clingo
  ☆16Updated 9 months ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆334Updated 3 months ago
• hamousavi / Walnut
  Automated Theorem Prover for Automatic Words
  ☆21Updated 3 years ago