toanphan19/tiny-sat

A SAT solver using DPLL algorithm.

/ 100

Experimental

No commits in the last 6 months.

Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 1 / 25

Maturity 9 / 25

Community 0 / 25

Stars

Forks

—

Language

Java

License

MIT

Category

Last pushed

Aug 16, 2022

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/toanphan19/tiny-sat"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

MatthiasNickles/diff-SAT

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable...

nikhilranjan7/sudoku-solver

AI that will solve sudoku based on search and constraint propagation techniques made as a part...

fabridigua/LogicGamesSolver

A Python tool to solve logic games with AI, Deep Learning and Computer Vision

stressGC/Python-AC3-Backtracking-CSP-Sudoku-Solver

Python implementation of a sudoku puzzle solver (CSP) using AC3 and backtracking algorithms

GeorgeSeif/Sudoku-Solver

An algorithm for automatically solving Soduko puzzles