100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
☆32May 24, 2026Updated last month
Alternatives and similar repositories for puzzlekit
Users that are interested in puzzlekit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆16Feb 22, 2026Updated 4 months ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- Poplog☆21Nov 18, 2010Updated 15 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆16Mar 5, 2026Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A basic wrapper to allow access to OEIS from within Julia.☆17Apr 29, 2020Updated 6 years ago
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 3 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆15Apr 7, 2026Updated 2 months ago
- Solver for over 100 types of Nikoli-style logic puzzles☆35Jan 11, 2024Updated 2 years ago
- ☆16Jun 9, 2026Updated 3 weeks ago
- SeaPearl's pool of examples☆21Jul 17, 2023Updated 2 years ago
- 🍀 A system for probabilistic reasoning in clingo☆21Jun 24, 2024Updated 2 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 7 years ago
- Examples and Models.☆19Mar 18, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SWI Prolog library to interface to the GPT API☆20Mar 6, 2024Updated 2 years ago
- Python constraint programming library☆25Jun 3, 2026Updated 3 weeks ago
- CP+SAT solver framework built to be reliable, performant, and extensible☆55Jun 24, 2026Updated last week
- Code and Data for DeepLog system☆17Feb 16, 2023Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆32Jan 11, 2024Updated 2 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 6 years ago
- Learning Constraint Programming with Picat☆57Oct 20, 2025Updated 8 months ago
- Library Tsuki.Framework for working with OpenGL, OpenAL. It includes window management, mouse, keyboard and joystick input, designed to w…☆12Dec 10, 2023Updated 2 years ago
- ☆28Aug 26, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A constraint modelling and rewriting library and compiler framework written in rust☆31Jun 11, 2026Updated 3 weeks ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 11 months ago
- Cross-platform ssh-server based chat program, with data persisted into relational databases of MySQL, PostgreSQL or Sqlite3.☆11Jan 31, 2021Updated 5 years ago
- A book about how teachers can use chat bots with discernment. And some notes about background and future for AI.☆27Dec 9, 2023Updated 2 years ago
- Javascript library to talk to multiple OLAP backends from multiple frontends☆17Feb 4, 2013Updated 13 years ago
- Create Shake and border effects on jQuery☆11Sep 8, 2016Updated 9 years ago
- The Personal Avatar (aka Pavatar) is a personal picture hosted on your webspace☆20Mar 21, 2024Updated 2 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 3 years ago
- This program is written to rename TV Series filenames to match what Plex or Sonarr needs to properly match. Often times many airings or d…☆12Jun 4, 2021Updated 5 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.
- Search engine for subtitles☆10Mar 28, 2015Updated 11 years ago
- Sauna - a social news reader and curation tool☆55Oct 23, 2014Updated 11 years ago
- Jobcenter, a client-server application and framework for job management and distributed job execution☆11Aug 19, 2019Updated 6 years ago
- kodeWeave is your on the go coding playground! Design with TailwindCSS or Pico.css, see how your app or website will look and behave on a…☆14Jun 22, 2026Updated last week
- Modeling and Programming with Gecode☆50Feb 18, 2026Updated 4 months ago
- Sabre is a narrative planning platform that generates stories which meet the author's goals and only contain actions that make sense for …☆49May 22, 2026Updated last month
- Python scrappers for legal NZ tv/movie streaming sites☆11Dec 13, 2015Updated 10 years ago