Alternatives and similar repositories for sudoku-sat-solver

Users that are interested in sudoku-sat-solver are comparing it to the libraries listed below

• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆21Updated last year
• rlseminar / rlseminar.github.io
  Reinforcement Learning Seminar at the Chinese University of Hong Kong, Shenzhen, China.
  ☆20Updated last year
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆62Updated 3 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• hardmaru / RainbowSlimeVolley
  Using Rainbow implementation in Chainer RL for Slime Volleyball Pixel Environment
  ☆23Updated 4 years ago
• miskcoo / kscore
  Nonparametric Score Estimators, ICML 2020
  ☆36Updated 3 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆67Updated 3 weeks ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆17Updated 4 years ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• google-deepmind / emergent_communication_at_scale
  ☆39Updated 10 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• aks2203 / easy-to-hard
  Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"
  ☆59Updated 3 years ago
• lansiz / eqpt
  The Path to Nash Equilibrium
  ☆38Updated 2 years ago
• R-McHenry / ParallelizedGoExplore
  A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post
  ☆46Updated 6 years ago
• TrustAI / DeepGame
  A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
  ☆20Updated 4 years ago
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆144Updated last year
• bmazoure / DRIML
  Code for Deep Reinforcement and InfoMax Learning (Neurips 2020)
  ☆10Updated 4 years ago
• rltheorybook / rltheorybook.github.io
  ☆28Updated 3 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• ermongroup / SPN_Variational_Inference
  PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020
  ☆17Updated 3 years ago
• rfeinman / pyBPL
  Python implementation of Bayesian Program Learning tools (with PyTorch)
  ☆72Updated 2 years ago
• VITA-Group / DiffSES
  [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…
  ☆15Updated 2 years ago
• cheuktingli / psitip
  Python Symbolic Information Theoretic Inequality Prover
  ☆39Updated last year
• RobertTLange / deep-rl-tutorial
  A Tutorial on Deep Reinforcement Learning in PyTorch
  ☆32Updated last year
• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆86Updated 10 months ago