CSP solver for puzzles
☆19Oct 14, 2026Updated 2 weeks ago
Alternatives and similar repositories for cspuz_core
Users that are interested in cspuz_core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆39Jul 27, 2025Updated last year
- 100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajili…☆37Updated this week
- Another|Alternative|Awesome VE Offloading stack using ve-urpc☆17Aug 16, 2023Updated 3 years ago
- ☆15Mar 10, 2026Updated 7 months ago
- NLCPy : NumPy-like API accelerated with SX-Aurora TSUBASA☆18Updated this week
- 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.
- PyO3's PyAny as a serde data format☆42Dec 15, 2025Updated 10 months ago
- Zenn contents☆11Feb 28, 2026Updated 8 months ago
- The transaction abstraction library and its executors for rust☆18Jun 26, 2017Updated 9 years ago
- a cargo subcommand to package your application into a docker image☆19Feb 19, 2020Updated 6 years ago
- C++ library for a binary quadratic model☆14Jun 29, 2026Updated 4 months ago
- Experiment management and benchmark tools for mathematical optimization.☆11Apr 13, 2026Updated 6 months ago
- ☆12Updated this week
- Parsers and converters for Shogi kifu☆10Oct 20, 2026Updated 2 weeks ago
- 自宅の酒を管理するアプリケーション☆17Updated this week
- 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.
- Configuration files for unix utilities☆14Oct 26, 2026Updated last week
- Sawatabi is an application framework to develop and run stream-data-oriented Ising applications with quantum annealing.☆19May 8, 2021Updated 5 years ago
- ☆23Jan 23, 2025Updated last year
- A faster substitute for `lib/prime.rb`.☆18Jun 30, 2025Updated last year
- Tool for building packages targeting Pyodide/pyemscripten☆19Updated this week
- Additional functions useful for building Apache Beam pipelines in Go.☆11Dec 16, 2018Updated 7 years ago
- ☆47Jan 9, 2023Updated 3 years ago
- 🟦 JuMP ToQUBO Automatic Reformulation☆32Oct 23, 2026Updated last week
- AtCoderの色別TLを生成します☆15Apr 12, 2023Updated 3 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.
- Core part of ScreenX TV and some sample code.☆10Oct 30, 2013Updated 13 years ago
- Qgate, Quntum circuit simulator☆31Oct 8, 2020Updated 6 years ago
- org-exobrain. A knowledge management system inspired by zettlekasten, wikis, and all that's great about org-mode.☆11Oct 22, 2026Updated last week
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A min-caml port to Rust☆26Feb 8, 2025Updated last year
- Run your tty programs pseudo-headlessly under a process supervisor☆13Apr 29, 2018Updated 8 years ago
- Advanced tooling for puzzle hunts: grid/crossword parser, crossword tool to fill in the grid when entering answers, heavy-duty pattern/an…☆35May 2, 2024Updated 2 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- ☆30Mar 25, 2024Updated 2 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.
- Alpha-Zero Connect Four NN trained via self play☆27Jun 30, 2026Updated 4 months ago
- ☆15May 22, 2026Updated 5 months ago
- lock-free malloc implementation☆14Dec 13, 2010Updated 15 years ago
- Pentomino puzzle solver using Python code generation☆23Feb 14, 2018Updated 8 years ago
- A tool & Python 3 library to decompress anything☆12Jan 24, 2021Updated 5 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 3 years ago
- ☆10Dec 8, 2021Updated 4 years ago