100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
☆29Apr 9, 2026Updated last month
Alternatives and similar repositories for PuzzleSolver
Users that are interested in PuzzleSolver 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
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated last month
- PAKCS: The Portland Aachen Kiel Curry system☆15Feb 22, 2026Updated 3 months ago
- Poplog☆21Nov 18, 2010Updated 15 years ago
- Web IDE for the Picat language based on Blazor and Monaco☆13Mar 17, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆15Mar 5, 2026Updated 2 months ago
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 3 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 4 years ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 5 months ago
- SNOBOL/SPITBOL pattern matching in JavaScript☆10Apr 2, 2021Updated 5 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 6 years ago
- Solver for over 100 types of Nikoli-style logic puzzles☆34Jan 11, 2024Updated 2 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years 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.
- ☆16May 13, 2026Updated last week
- 🍀 A system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- SWI Prolog library to interface to the GPT API☆20Mar 6, 2024Updated 2 years ago
- Code and Data for DeepLog system☆17Feb 16, 2023Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 6 years ago
- An open-source course on constraint solving☆25Oct 24, 2025Updated 6 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Learning Constraint Programming with Picat☆56Oct 20, 2025Updated 7 months ago
- SAT solver library in Go; wraps around Google's Operational Research Tools☆26Apr 19, 2023Updated 3 years ago
- Probabilistic Programming and Bayesian Methods for Hackers - Julia language☆20Nov 10, 2021Updated 4 years ago
- A handy jQuery solution for blocking responsive, IE, or incomplete bits from being seen while in development.☆12Feb 9, 2015Updated 11 years ago
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 years ago
- Various test fonts (OpenType, OpenType with TrueType GX variation extensions, Multiple Master) for testing implementations of font format…☆11Jun 25, 2025Updated 10 months ago
- A CP Portfolio Solver☆27Apr 18, 2023Updated 3 years ago
- Prolog, Datalog, languages, resources, and beyond!☆34Feb 10, 2026Updated 3 months ago
- Create Shake and border effects on jQuery☆11Sep 8, 2016Updated 9 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.
- 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 4 years ago
- Sauna - a social news reader and curation tool☆55Oct 23, 2014Updated 11 years ago
- Use MiniZinc in the browser or with NodeJS☆58May 8, 2026Updated 2 weeks ago
- The MiniZinc IDE☆173Updated this week
- Jobcenter, a client-server application and framework for job management and distributed job execution☆11Aug 19, 2019Updated 6 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆30Sep 20, 2021Updated 4 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…☆13May 15, 2026Updated last week