tardhinata / sudoku-sat-solver
Sudoku solver based on SAT (Boolean Satisfiability) in python
☆13Updated 6 years ago
Alternatives and similar repositories for sudoku-sat-solver:
Users that are interested in sudoku-sat-solver are comparing it to the libraries listed below
- Official repository for paper "Goal-Aware Neural SAT Solver"☆15Updated last year
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- PyTorch implementation of NeuroSAT☆28Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆56Updated 2 months ago
- Learning local search heuristics for Boolean satisfiability☆37Updated 11 months ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated 2 years ago
- Logic Circuits from the Juice library☆48Updated 10 months ago
- Collection of Papers and Trials on Deep Learning to aid EE design☆44Updated 4 years ago
- ☆17Updated 3 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 8 months ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 7 months ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Updated 6 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- ☆17Updated 3 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆30Updated 3 years ago
- Understanding RL vision Distill article☆23Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated 2 months ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 2 years ago
- ☆43Updated 7 years ago
- a little library to help me with things involving Koopman operators☆11Updated 3 years ago
- Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch☆24Updated 4 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Probabilistic Circuits from the Juice library☆106Updated 10 months ago
- ☆17Updated 2 years ago