A webassembly wrapper for FreeCAD's 2D geometric solver.
-
Updated
Apr 25, 2025 - C++
#
constraint-solving
Here are 6 public repositories matching this topic...
Constraint solving vs Abstract interpretation
-
Updated
Nov 15, 2024 - Rust
A Prolog-based solver for the classic “Tents and Trees” logic puzzle. Developed for the Logic for Programming course (2023–2024), this project demonstrates constraint logic programming, recursive reasoning, and search strategies in Prolog.
logic prolog artificial-intelligence backtracking logic-programming puzzle-solver swipl recursive-algorithms constraint-solving
-
Updated
Nov 6, 2025 - Prolog
Constraint solving approaches in Guile Scheme, inspired by Hillel Wayne's article. Features native CSP engine, Z3 SMT solver integration, and comparison of different solving approaches for classic problems.
-
Updated
Sep 13, 2025 - Scheme
🤖 Intelligent Wordle AI Bot with constraint-solving algorithm. Features smart decision-making, multi-game modes, 527-word vocabulary, and 100% test coverage. Ready for production deployment with Docker and CI/CD.
-
Updated
Aug 15, 2025 - Python
Visualize the classic N-Queens puzzle 👑 in real time using AI search algorithms — Hill Climbing, Simulated Annealing, and Local Beam Search. Built with Python, Pygame, and NumPy, it beautifully animates how AI solves complex constraint problems step by step.
visualization python computer-science ai optimization numpy pygame artificial-intelligence algorithm-visualizer simulated-annealing hill-climbing search-algorithms game-ai n-queens puzzle-solver educational-tool constraint-solving local-beam-search
-
Updated
May 7, 2025 - Python
Improve this page
Add a description, image, and links to the constraint-solving topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the constraint-solving topic, visit your repo's landing page and select "manage topics."