XCSP3 Core Parser in C++
☆20Nov 3, 2026Updated last week
Alternatives and similar repositories for XCSP3-CPP-Parser
Users that are interested in XCSP3-CPP-Parser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Constraint Solver ACE☆41Oct 8, 2026Updated last month
- A suite of MiniZinc benchmarks.☆93May 13, 2026Updated 5 months ago
- ☆16Oct 3, 2021Updated 5 years ago
- ☆10Feb 18, 2023Updated 3 years ago
- Content Addressable Memory using dimensionality reduction☆13Apr 22, 2017Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆11Mar 28, 2026Updated 7 months ago
- Bias detection and contextual evaluation tool for your AI projects☆30Oct 15, 2026Updated 3 weeks ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- The anytime MaxSAT solver Loandra☆20Apr 23, 2026Updated 6 months ago
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 6 years ago
- Conjure: The Automated Constraint Modelling Tool☆119Updated this week
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Sep 25, 2026Updated last month
- ☆12Updated this week
- A hot game prototype jammed out at AI & Games Dagstuhl Seminar 2015.☆12Mar 21, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Proposal for the expected class.☆18May 12, 2017Updated 9 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Integer interval arithmetic library☆20May 15, 2025Updated last year
- A squad movement planning library for StarCraft AI using Monte Carlo Tree Search and Negamax☆15Jan 1, 2019Updated 7 years ago
- Catalogue participatif des formations en informatique dans l'ESR public français☆11Jul 8, 2021Updated 5 years ago
- Hyper Super Duper sublime text 3 theme for industrial coding.☆12Sep 23, 2019Updated 7 years ago
- PostgreSQL join optimisation with Simulated Annealing☆10Nov 4, 2011Updated 15 years ago
- C++ "spatial" logging system which targets versatile, (de)clutchable, _debugging_, in a single header.☆17Mar 28, 2026Updated 7 months ago
- Top-down 2D discrete grid game to develop reinforcement learning for robot / animal like General Game AI agents. Human and machine playab…☆17Feb 17, 2018Updated 8 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.
- What the hell is that!?☆20Jul 5, 2018Updated 8 years ago
- Parse GLTF2 Files☆11Jul 22, 2025Updated last year
- A C++ Constraint Programming Library☆45May 9, 2024Updated 2 years ago
- a figma plugin for creating oblique projections☆11Nov 11, 2020Updated 5 years ago
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 4 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- 🫓 A parser for the FlatZinc modelling language☆14Feb 27, 2025Updated last year
- OCaml syntax extension for synchronous programming...☆33Aug 17, 2023Updated 3 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Sep 18, 2023Updated 3 years ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆30Sep 7, 2015Updated 11 years ago
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated last year
- JAVASCRIPT library with which you can easily draw CANVAS HTML☆16Apr 6, 2026Updated 7 months ago
- 对CAMODOCAL进行了中文注释☆10Jun 7, 2021Updated 5 years ago
- Create GUIs like in Sword Art Online!☆11Jan 17, 2019Updated 7 years ago
- ☆18Jun 1, 2021Updated 5 years ago
Are these results useful?