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:
- Just another DAgger algorithm implementation☆14Apr 10, 2017Updated 9 years ago
- Making a bridge between NLP models and Brain data☆19Jun 3, 2020Updated 5 years ago
- Code for 'Periodic Activation Functions Induce Stationarity' (NeurIPS 2021)☆19Oct 27, 2021Updated 4 years ago
- Source Code for 'Practical Machine Learning for Streaming Data with Python' by Sayan Putatunda☆15Apr 10, 2021Updated 5 years ago
- Deep learning model to classify relationship state in romantic couples from images and video☆15Jul 1, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Constrained Optimization in Pytorch☆12Feb 25, 2020Updated 6 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 10 months ago
- code for icml paper: https://arxiv.org/abs/1711.03243v3☆12Jul 8, 2018Updated 7 years ago
- Repo for paper: Exploring the Power of Graph Neural Networks in Solving Linear Optimization Problems, accepted at AISTATS 2024☆18Oct 17, 2023Updated 2 years ago
- LOW-RESOURCE NEURAL MACHINE TRANSLATION: A BENCHMARK FOR FIVE AFRICAN LANGUAGES☆16Jul 27, 2020Updated 5 years ago
- Code base for the EMNLP 2021 Findings paper: Cartography Active Learning☆14Jun 3, 2025Updated 11 months ago
- The official repository for our paper "The Dual Form of Neural Networks Revisited: Connecting Test Time Predictions to Training Patterns …☆16Jun 11, 2025Updated 11 months ago
- 🐍 💼 A Pythonic approach to the Travelling Salesman Problem☆15Dec 15, 2023Updated 2 years ago
- Official code for NeurIPS paper "Combinatorial Optimization for Panoptic Segmentation: A Fully Differentiable Approach".☆16Jun 30, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- Baking rumprun images with cargo☆12Sep 26, 2015Updated 10 years ago
- Source code of "Calibrating Large Language Models Using Their Generations Only", ACL2024☆22Nov 20, 2024Updated last year
- A data science notebook for Rust☆44May 8, 2021Updated 5 years ago
- all your base are belong to me☆15Feb 3, 2021Updated 5 years ago
- GitHub Action to Sync subtrees with a source project☆11Oct 16, 2019Updated 6 years ago
- Dynamic inference from single-cell snapshots by optimal transport☆21Mar 14, 2024Updated 2 years ago
- A safe and convenient store for one value of each type☆11Apr 10, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Access additional job context informations like current job details (log url, environment, ...) and current deployment details.☆17Apr 14, 2026Updated last month
- Using Sphinx to Document C++ Libraries☆15Aug 4, 2020Updated 5 years ago
- Jupyter notebook containing a solution to Sutton and Barto's gridworld problem with both a random agent and a Q-learning agent.☆33Feb 23, 2018Updated 8 years ago
- ☆17Oct 21, 2021Updated 4 years ago
- Github action that measures i18n coverage and attaches a coverage check to the commit.☆13Jan 16, 2023Updated 3 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Feb 5, 2021Updated 5 years ago
- evcxr support for drawing petgraph graphs in jupyter notebook☆13Oct 24, 2020Updated 5 years ago
- Master thesis for the MSc. Artificial Intelligence at the University of Amsterdam, 2019. Topic: Super-resolution with Conditional Normali…☆20Jun 4, 2024Updated last year
- Universal Executables☆14Aug 30, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Simple DSL-like set of QPainter-based components for making complex custom QWidgets☆14Mar 8, 2024Updated 2 years ago
- Qt Creator plugin to develop plugins☆12Sep 13, 2025Updated 8 months ago
- The Importance of Being Recurrent for Modeling Hierarchical Structure☆25Jun 27, 2018Updated 7 years ago
- Python3 implementation of the paper [Large-scale optimal transport map estimation using projection pursuit]☆15Feb 24, 2021Updated 5 years ago
- Mirror your new main branch to your old master branch (or mirror any branch A to any branch B)☆12Aug 15, 2024Updated last year
- A unit-testing framework for CMake functions☆15Jul 27, 2025Updated 10 months ago
- ☆19Dec 16, 2022Updated 3 years ago