LukasZahradnik / PyNeuraLogicView external linksLinks
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
☆304Jan 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for PyNeuraLogic
Users that are interested in PyNeuraLogic are comparing it to the libraries listed below
Sorting:
- Deep relational learning through differentiable logic programming.☆113Aug 9, 2025Updated 6 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Framework and Language for Neurosymbolic Programming.☆443May 1, 2025Updated 9 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆295Aug 9, 2024Updated last year
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Sep 17, 2025Updated 4 months ago
- Python library containing different modules to build circuits.☆48Jul 17, 2022Updated 3 years ago
- ☆21Jun 22, 2022Updated 3 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Jan 23, 2017Updated 9 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆342Nov 13, 2024Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- ☆17Jan 3, 2024Updated 2 years ago
- Copies of prolog solvers for use from python☆19Jul 8, 2024Updated last year
- ☆49Nov 11, 2023Updated 2 years ago
- Logic Reinforcement Learning☆19Oct 20, 2025Updated 3 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 2 years ago
- In-memory Graph Database and Knowledge Graph with Natural Language Interface, compatible with Pandas☆59Oct 8, 2025Updated 4 months ago
- ☆25Nov 2, 2025Updated 3 months ago
- ☆19Oct 27, 2025Updated 3 months ago
- Distributed cross-network remote debugging for Python☆37Oct 17, 2022Updated 3 years ago
- Static site generator in python☆18Jun 2, 2021Updated 4 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Mar 26, 2025Updated 10 months ago
- ☆21Nov 18, 2022Updated 3 years ago
- MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning Mingju Liu, Daniel Robinson, Yingjie Li, Cunx…☆22Apr 9, 2025Updated 10 months ago
- The Python toolkit for computing with string diagrams.☆403Dec 31, 2025Updated last month
- benchmarking e-graph extraction☆49Feb 2, 2026Updated last week
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Apr 7, 2014Updated 11 years ago
- Simple and reliable optimization with local, global, population-based and sequential techniques in numerical discrete search spaces.☆1,257Updated this week
- A toolkit for SAT-based prototyping in Python☆444Feb 4, 2026Updated last week
- Source code of "Grid-to-Graph: Flexible Spatial Relational Inductive Biases for Reinforcement Learning" (AAMAS 2021).☆29Aug 19, 2021Updated 4 years ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆303Feb 4, 2026Updated last week
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- BFloat16 Fused Adam Operator for PyTorch☆16Nov 16, 2024Updated last year
- CLUCalcSource-4.3.3 original GPL source code, released in 2005 on www.clucalc.info by Christian Perwass☆12Jul 20, 2014Updated 11 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- SATZilla SAT feature extraction tool☆11Jan 15, 2026Updated 3 weeks ago
- ☆10May 24, 2021Updated 4 years ago