CSP solver for puzzles
☆18Jul 20, 2026Updated this week
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:
- Another|Alternative|Awesome VE Offloading stack using ve-urpc☆16Aug 16, 2023Updated 2 years ago
- Python bindings for VE Offloading (VEO) for SX-Aurora Vector Engine☆17Dec 27, 2023Updated 2 years ago
- NLCPy : NumPy-like API accelerated with SX-Aurora TSUBASA☆18Oct 13, 2023Updated 2 years ago
- PyO3's PyAny as a serde data format☆42Dec 15, 2025Updated 7 months ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 7 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.
- Zenn contents☆11Feb 28, 2026Updated 4 months ago
- a cargo subcommand to package your application into a docker image☆19Feb 19, 2020Updated 6 years ago
- ☆37Jul 27, 2025Updated 11 months ago
- Parsers and converters for Shogi kifu☆10Jul 26, 2024Updated last year
- 自宅の酒を管理するアプリケーション☆17Updated this week
- Defines fundamental data types and functions☆12Dec 21, 2025Updated 7 months ago
- Rust binding for the HiGHS linear programming solver☆20Jun 29, 2026Updated 3 weeks ago
- Sawatabi is an application framework to develop and run stream-data-oriented Ising applications with quantum annealing.☆19May 8, 2021Updated 5 years ago
- A faster substitute for `lib/prime.rb`.☆18Jun 30, 2025Updated last year
- 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.
- 🟦 JuMP ToQUBO Automatic Reformulation☆31Updated this week
- ☆47Jan 9, 2023Updated 3 years ago
- AtCoderの色別TLを生成します☆15Apr 12, 2023Updated 3 years ago
- Custom error type of nom to improve accuracy of error position☆12Mar 23, 2023Updated 3 years ago
- A min-caml port to Rust☆26Feb 8, 2025Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- org-exobrain. A knowledge management system inspired by zettlekasten, wikis, and all that's great about org-mode.☆11Jul 10, 2026Updated 2 weeks ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- A trainable Binary Quadratic Model (BQM) as a Factorization Machine (FM)☆27Mar 1, 2023Updated 3 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.
- log plugin for vuejs，vue 日志插件☆14Jul 25, 2019Updated 7 years ago
- Easy opaque typedef for Rust programming language.☆13Aug 22, 2019Updated 6 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 2 years ago
- macros for querying semi-structured data with the JavaScript-like syntax☆52Mar 30, 2026Updated 3 months ago
- Rust compile-time type information experiment☆19Jan 24, 2023Updated 3 years ago
- Bindings to FFTW3☆10Feb 29, 2016Updated 10 years ago
- Open standard for mathematical programming interoperability☆52Updated this week
- ☆10Dec 8, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rust Python bindings with Hpy☆11Sep 29, 2021Updated 4 years ago
- Combinator Parsers using C++ 17☆11May 27, 2021Updated 5 years ago
- ActionScript ByteCode Disassembler☆16Oct 20, 2015Updated 10 years ago
- A library manager for competitive programming☆25Jan 4, 2023Updated 3 years ago
- ANARI Specification Registry☆12Nov 12, 2025Updated 8 months ago
- kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.☆11Jan 1, 2023Updated 3 years ago
- Zero-cost futures support for rust-mdo☆14Oct 7, 2018Updated 7 years ago