Sudoku solver based on SAT (Boolean Satisfiability) in python
☆13Dec 6, 2018Updated 7 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Datasets for compositional learning☆11Nov 28, 2018Updated 7 years ago
- Making a bridge between NLP models and Brain data☆19Jun 3, 2020Updated 5 years ago
- Source Code for 'Practical Machine Learning for Streaming Data with Python' by Sayan Putatunda☆15Apr 10, 2021Updated 4 years ago
- A repository to introduce the algorithmic information theory. You could learn what is Kolmogorov complexity and why it is important here.☆13Jul 23, 2025Updated 8 months ago
- Relevant code for the "Show Your Work" paper, EMNLP 2019.☆18Sep 9, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Riemannian metrics to measure distances in latent space of VAEs☆14Jan 7, 2019Updated 7 years ago
- The official repository for our paper "The Dual Form of Neural Networks Revisited: Connecting Test Time Predictions to Training Patterns …☆16Jun 11, 2025Updated 9 months ago
- This is the code for the paper "A Scalable Neural Network for DSIC Affine Maximizer" in NeurIPS 2023.☆11Oct 21, 2023Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- Optimization with Constraint Learning (OCL) Lab☆14Feb 8, 2023Updated 3 years ago
- Neural Architecture Search + Cascades | Best Paper @ GECCO 2022☆15Sep 5, 2023Updated 2 years ago
- Unix domain sockets for Tokio...on Windows!☆14Sep 28, 2022Updated 3 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Code for ICML 2025 paper | Joint Localization and Activation Editing for Low-Resource Fine-Tuning☆27Jun 18, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- all your base are belong to me☆15Feb 3, 2021Updated 5 years ago
- Tody.Chat - Zero-configuration Team Chat☆13Apr 6, 2020Updated 5 years ago
- A safe and convenient store for one value of each type☆11Apr 10, 2021Updated 4 years ago
- Dynamic inference from single-cell snapshots by optimal transport☆20Mar 14, 2024Updated 2 years ago
- ☆20Apr 3, 2023Updated 2 years ago
- ☆17Oct 21, 2021Updated 4 years ago
- Repository for the brainimaging course for AI and psychology master's students at the Vrije Universiteit Amsterdam☆15Feb 8, 2023Updated 3 years ago
- Universal Executables☆14Aug 30, 2018Updated 7 years ago
- Simple DSL-like set of QPainter-based components for making complex custom QWidgets☆14Mar 8, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Machine Learning solution for Kaggle.com's "Partly Sunny with a Chance of Hashtags"☆27Dec 6, 2013Updated 12 years ago
- Great resources for learning optimal control☆18Jul 10, 2019Updated 6 years ago
- Schedule GitHub Actions Events to happen in the future! 📅☆18Mar 18, 2026Updated last week
- This repo shows how to build a basic program in C++ which uses Lua with sol2.☆13Feb 16, 2023Updated 3 years ago
- A simple Rust library for efficiently solving ODEs without cloning☆12Jun 26, 2019Updated 6 years ago
- Cap'n Proto bindings for .NET languages☆12Dec 6, 2016Updated 9 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Nov 9, 2021Updated 4 years ago
- Online Summarization Algorithm for Twitter Streams - supporting code for an EACL 2014 paper☆16Feb 25, 2014Updated 12 years ago
- ☆18Sep 15, 2013Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- Automatic Differentiation for Gradient Boosted Decision Trees.☆13May 17, 2022Updated 3 years ago
- Code and data for the paper "Disentangling Uncertainty in Machine Translation Evaluation", accepted at EMNLP 2022.☆23Jun 23, 2023Updated 2 years ago
- Benchmark tests supporting the TiledCUDA library.☆18Nov 19, 2024Updated last year
- Simple implementations of multi-agent evolutionary strategies using pytorch.☆17Jan 15, 2022Updated 4 years ago
- Haskell 2010 stream comonads☆24Dec 6, 2024Updated last year
- Implementation of A Context-Integrated Transformer-Based Neural Network for Auction Design (ICML2022).☆19Jun 30, 2022Updated 3 years ago