Alternatives and similar repositories for FOLD-R-PP

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

• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆232Updated last month
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated this week
• ilaspltd / ILASP-releases
  ☆37Updated 8 months ago
• asolarlez / sketch-frontend
  ☆38Updated 3 months ago
• NeuralNetworkVerification / Marabou
  ☆290Updated 2 months ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆88Updated 3 years ago
• asolarlez / sketch-backend
  ☆44Updated 9 months ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 2 years ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated this week
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 7 months ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆386Updated 2 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆171Updated 3 weeks ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆357Updated last week
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆163Updated 2 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆427Updated last month
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆18Updated 2 years ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆75Updated last year
• decyphir / breach
  ☆61Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 4 months ago
• StephenMuggleton / DeepLog
  Code and Data for DeepLog system
  ☆19Updated 2 years ago
• ariroffe / logics
  Logics is a Python framework for mathematical logic
  ☆23Updated 2 months ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆100Updated 2 years ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆165Updated last year
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 4 years ago
• randriu / synthesis
  ☆23Updated this week
• ellisk42 / ec
  ☆520Updated 2 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆35Updated last year
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 2 months ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 4 years ago