MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
This tool helps researchers and practitioners in AI and logic programming who need to solve complex reasoning problems that involve both logical rules and probabilities. You provide logical rules and potentially fuzzy or probabilistic constraints (as cost functions), and it outputs a collection of models (like possible scenarios) that best fit those constraints, along with their associated probabilities. This is useful for those working with knowledge representation and combinatorial search.
No commits in the last 6 months.
Use this if you need to combine strict logical rules with probabilistic information or differentiable cost functions to find an optimal set of possible solutions, especially in domains like probabilistic logic programming or satisfiability.
Not ideal if your problem is purely deterministic with no probabilistic elements or if you only need a standard SAT or ASP solver without multi-model optimization or gradient-based reasoning.
Stars
70
Forks
3
Language
Scala
License
MIT
Category
Last pushed
Jul 01, 2024
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/MatthiasNickles/diff-SAT"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
nikhilranjan7/sudoku-solver
AI that will solve sudoku based on search and constraint propagation techniques made as a part...
stressGC/Python-AC3-Backtracking-CSP-Sudoku-Solver
Python implementation of a sudoku puzzle solver (CSP) using AC3 and backtracking algorithms
fabridigua/LogicGamesSolver
A Python tool to solve logic games with AI, Deep Learning and Computer Vision
GeorgeSeif/Sudoku-Solver
An algorithm for automatically solving Soduko puzzles
SrinidhiRaghavan/AI-Sudoku
Solving sudoku puzzle using backtracking and AC-3