Alternatives and similar repositories for sudoku-sat-solver

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

• sisl / AA120Q
  AA120Q Course Materials
  ☆28Updated 5 months ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 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
• fabricerosay / AlphaGPU
  Alphazero on GPU thanks to CUDA.jl
  ☆32Updated 3 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated last year
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 2 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• JuliaPOMDP / MCTS.jl
  Monte Carlo Tree Search for Markov decision processes using the POMDPs.jl framework
  ☆77Updated 4 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• dselsam / lean-python-bindings
  Python Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆13Updated 7 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• srush / learns-dex
  ☆33Updated 4 years ago
• distillpub / post--understanding-rl-vision
  Understanding RL vision Distill article
  ☆23Updated 2 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 9 months ago
• IDSIA / neuraldiffeq-fwp
  Official repository for the paper "Neural Differential Equations for Learning to Program Neural Nets Through Continuous Learning Rules" (…
  ☆22Updated 2 weeks ago
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆144Updated last year
• cornellius-gp / linear_operator.old
  A LinearOperator implementation for PyTorch
  ☆18Updated 4 years ago
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆34Updated 5 years ago
• tejank10 / Flux-baselines
  Flux baselines: Implementations of reinforcement learning algorithms using Flux
  ☆29Updated 5 years ago
• UCLA-StarAI / LogisticCircuit
  Logistic Circuits
  ☆36Updated 5 years ago
• jkulhanek / pyoverleaf
  Python Overleaf API and simple CLI
  ☆27Updated last week
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• ztangent / Plinf.jl
  Planning, inverse planning, and inference in planning, using PDDL and Gen.
  ☆39Updated 11 months ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• lorepozo / program-induction
  A library for program induction and learning representations.
  ☆30Updated last year
• thomashirtz / noisy-networks
  Minimal implementation of the network layers of the paper "Noisy Networks for Exploration" using Pytorch.
  ☆12Updated 3 months ago
• probcomp / autoimcmc
  Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"
  ☆13Updated 4 years ago
• TrustAI / DeepGame
  A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
  ☆20Updated 4 years ago
• avik-pal / RegNeuralDE.jl
  Official Implementation of "Opening the Blackbox: Accelerating Neural Differential Equations by Regularizing Internal Solver Heuristics" …
  ☆26Updated 2 years ago