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
Sorting:
- Descriptive summaries of covid data for Belgium☆10Apr 23, 2021Updated 4 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Feb 5, 2021Updated 5 years ago
- A data science notebook for Rust☆44May 8, 2021Updated 4 years ago
- Online Summarization Algorithm for Twitter Streams - supporting code for an EACL 2014 paper☆16Feb 25, 2014Updated 12 years ago
- Machine Learning solution for Kaggle.com's "Partly Sunny with a Chance of Hashtags"☆27Dec 6, 2013Updated 12 years ago
- Cap'n Proto bindings for .NET languages☆12Dec 6, 2016Updated 9 years ago
- evcxr support for drawing petgraph graphs in jupyter notebook☆13Oct 24, 2020Updated 5 years ago
- Baking rumprun images with cargo☆12Sep 26, 2015Updated 10 years ago
- A visual studio code's workspaces organizer written in Rust☆12Sep 18, 2023Updated 2 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- R package for interacting with the Crunch API☆10Updated this week
- A lightweight development environment for eWASM☆17Dec 8, 2018Updated 7 years ago
- all your base are belong to me☆15Feb 3, 2021Updated 5 years ago
- Deep learning model to classify relationship state in romantic couples from images and video☆15Jul 1, 2019Updated 6 years ago
- Implementation of FixMatch in PyTorch and experimentations☆12Aug 9, 2020Updated 5 years ago
- A safe and convenient store for one value of each type☆10Apr 10, 2021Updated 4 years ago
- Julia package for quantum circuit generation☆14Jan 22, 2022Updated 4 years ago
- Tools to work with the CRAB open data☆14Nov 5, 2013Updated 12 years ago
- (Distributed) Domain Driven Design, with CQRS & ES, on top of Akka.☆10Nov 6, 2022Updated 3 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 7 months ago
- Example implementation of "Exact Byte-Level Probabilities from Tokenized Language Models for FIM-Tasks and Model Ensembles" by Buu Phan, …☆18Jan 22, 2026Updated last month
- Repository for the brainimaging course for AI and psychology master's students at the Vrije Universiteit Amsterdam☆14Feb 8, 2023Updated 3 years ago
- A Julia package for half-integer numbers☆16Apr 25, 2024Updated last year
- Learn Rust by making tests pass☆12Nov 20, 2014Updated 11 years ago
- A C# .NET class library containing an implementation of the MESA International standards B2MML and BatchML.☆14Jan 9, 2018Updated 8 years ago
- balloon-Consuming Linked Data☆17Mar 9, 2016Updated 10 years ago
- Kaggle code for Loan Default Prediction competition☆15Aug 25, 2014Updated 11 years ago
- Repository for "Known Unknowns: Uncertainty Quality in Bayesian Neural Networks" paper.☆12Mar 3, 2017Updated 9 years ago
- 🐍 💼 A Pythonic approach to the Travelling Salesman Problem☆15Dec 15, 2023Updated 2 years ago
- moodist☆24Feb 20, 2026Updated 2 weeks ago
- `@code_costs`: a variant of `@code_typed` with estimated costs☆13Sep 1, 2020Updated 5 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Oct 31, 2022Updated 3 years ago
- Automatic Differentiation for Gradient Boosted Decision Trees.☆13May 17, 2022Updated 3 years ago
- Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.☆11Aug 15, 2017Updated 8 years ago
- ☆15Mar 24, 2023Updated 2 years ago
- ECS Plugin for Phaser☆15Feb 22, 2015Updated 11 years ago
- Benchmark tests supporting the TiledCUDA library.☆18Nov 19, 2024Updated last year
- Tody.Chat - Zero-configuration Team Chat☆13Apr 6, 2020Updated 5 years ago
- ☆17Oct 21, 2021Updated 4 years ago