tardhinata / sudoku-sat-solverView external linksLinks
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:
- A data science notebook for Rust☆44May 8, 2021Updated 4 years ago
- Explain and validate SQL queries as you type them into Datasette☆12Feb 28, 2024Updated last year
- Datasets for compositional learning☆11Nov 28, 2018Updated 7 years ago
- Orchestration of many projects from Pragmatic AI Labs☆23Updated this week
- Online Summarization Algorithm for Twitter Streams - supporting code for an EACL 2014 paper☆16Feb 25, 2014Updated 11 years ago
- ☆11Mar 11, 2023Updated 2 years ago
- A visual studio code's workspaces organizer written in Rust☆12Sep 18, 2023Updated 2 years ago
- Baking rumprun images with cargo☆12Sep 26, 2015Updated 10 years ago
- all your base are belong to me☆15Feb 3, 2021Updated 5 years ago
- Repository for the brainimaging course for AI and psychology master's students at the Vrije Universiteit Amsterdam☆13Feb 8, 2023Updated 3 years ago
- Hand Gesture Recognition-opencv☆12Jul 10, 2016Updated 9 years ago
- A lightweight development environment for eWASM☆17Dec 8, 2018Updated 7 years ago
- (Distributed) Domain Driven Design, with CQRS & ES, on top of Akka.☆11Nov 6, 2022Updated 3 years ago
- Tools to work with the CRAB open data☆14Nov 5, 2013Updated 12 years ago
- ☆11Mar 28, 2022Updated 3 years ago
- api for rrdtool graphics per sensors + graphics from archive.luftdaten.info☆19Oct 1, 2018Updated 7 years ago
- Julia package for quantum circuit generation☆14Jan 22, 2022Updated 4 years ago
- Implementation of FixMatch in PyTorch and experimentations☆12Aug 9, 2020Updated 5 years ago
- R package for interacting with the Crunch API☆10Feb 9, 2026Updated last week
- ☆18Sep 15, 2013Updated 12 years ago
- evcxr support for drawing petgraph graphs in jupyter notebook☆13Oct 24, 2020Updated 5 years ago
- Deep learning model to classify relationship state in romantic couples from images and video☆15Jul 1, 2019Updated 6 years ago
- Example implementation of "Exact Byte-Level Probabilities from Tokenized Language Models for FIM-Tasks and Model Ensembles" by Buu Phan, …☆18Jan 22, 2026Updated 3 weeks ago
- A C# .NET class library containing an implementation of the MESA International standards B2MML and BatchML.☆14Jan 9, 2018Updated 8 years ago
- A data-driven look at Chicago's economy, built with open data.☆27May 1, 2020Updated 5 years ago
- Abstract type and interface definition for quantum circuit blocks.☆17Nov 9, 2021Updated 4 years ago
- ECS Plugin for Phaser☆14Feb 22, 2015Updated 10 years ago
- Predicting sales with Pandas☆15Nov 4, 2015Updated 10 years ago
- moodist☆24Jan 6, 2026Updated last month
- Code for Solar Energy Prediction Contest at Kaggle☆17Jun 21, 2014Updated 11 years ago
- Learn Rust by making tests pass☆12Nov 20, 2014Updated 11 years ago
- ☆13Jul 19, 2022Updated 3 years ago
- Mobility as a Service API - data model, tests, and validation☆18Jan 22, 2025Updated last year
- Source Code for 'Practical Machine Learning for Streaming Data with Python' by Sayan Putatunda☆15Apr 10, 2021Updated 4 years ago
- ☆17Oct 21, 2021Updated 4 years ago
- Example of jsartoolkit and three.js☆13Jun 19, 2016Updated 9 years ago
- ☆18Oct 12, 2022Updated 3 years ago
- ☆15Mar 24, 2023Updated 2 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