Alternatives and similar repositories for sudoku-sat-solver

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

• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆145Updated 2 years ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆107Updated last year
• cambridge-mlg / EinsumNetworks
  ☆53Updated 2 years ago
• princeton-vl / FormulaNet
  Code for FormulaNet in NIPS 2017
  ☆30Updated 7 years ago
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆49Updated last year
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 2 months ago
• trishullab / near
  ☆24Updated 4 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• ermongroup / SPN_Variational_Inference
  PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020
  ☆17Updated 3 years ago
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆35Updated 5 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• facebookresearch / MathsFromExamples
  Source code, datasets and trained models for the paper Learning Advanced Mathematical Computations from Examples (ICLR 2021), by François…
  ☆181Updated 4 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆64Updated 6 months ago
• lorepozo / program-induction
  A library for program induction and learning representations.
  ☆31Updated last year
• miskcoo / kscore
  Nonparametric Score Estimators, ICML 2020
  ☆36Updated 4 years ago
• ethanluoyc / dhmc-jax
  Discontinuous Hamiltonian Monte Carlo in JAX
  ☆42Updated 5 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• facebookresearch / productive_concept_learning
  Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…
  ☆17Updated 4 years ago
• vicariousinc / PGMax
  Loopy belief propagation for factor graphs on discrete variables, in JAX!
  ☆65Updated 10 months ago
• ml-research / NeSyConceptLearner
  ☆19Updated 2 years ago
• probsys / optimal-approximate-sampling
  Optimal approximate sampling from discrete probability distributions
  ☆18Updated 4 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• vlgiitr / ntm-pytorch
  Neural Turing Machines in Pytorch.
  ☆45Updated 6 years ago
• champyen / halide-essentials
  book for Halide language programming
  ☆13Updated 3 years ago
• PrincetonLIPS / randomized_telescopes
  Code for "Efficient optimization of loops and limits with randomized telescoping sums"
  ☆28Updated 6 years ago
• bdusell / semiring-einsum
  Generic PyTorch implementation of einsum that supports different semirings
  ☆50Updated last year
• msuzen / bristol
  Parallel random matrix tools and complexity for deep learning
  ☆33Updated last year
• 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