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
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆44Updated 5 years ago
- ☆15Updated 6 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆15Updated last year
- G2SAT: Learning to Generate SAT Formulas☆48Updated 4 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆40Updated last year
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- CNF generator in DIMACS format. It produces common families of CNFs.☆63Updated 9 months ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆16Updated 3 years ago
- ☆49Updated 6 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 7 months ago
- ☆43Updated last year
- Isomorphisms of quiver representations applied to neural networks.☆16Updated 6 months ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27Updated 5 years ago
- Scalable Log Determinants for Gaussian Process Kernel Learning (https://arxiv.org/abs/1711.03481) (NIPS 2017)☆18Updated 7 years ago
- ☆10Updated last year
- ☆49Updated 4 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- ☆19Updated this week
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆16Updated 7 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 3 years ago
- Python 3.6 and TensorFlow implementation of the AReS and MaRS algorithms☆11Updated 5 years ago
- Logistic Circuits☆35Updated 5 years ago
- Optimal approximate sampling from discrete probability distributions☆17Updated 3 years ago
- ☆18Updated 3 years ago
- Probabilistic Circuits from the Juice library☆104Updated 8 months ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated last year
- ☆50Updated last year
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 5 months ago