A webassembly wrapper for FreeCAD's 2D geometric solver.
-
Updated
Apr 25, 2025 - C++
#
constraint-solving
Here are 11 public repositories matching this topic...
Constraint solving vs Abstract interpretation
-
Updated
Nov 15, 2024 - Rust
Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies
python distributed-systems algorithm rest-api graph-theory cnf sat-solver python36 flask-api package-management dependency-resolution boolean-satisfiability pysat universal-resolver constraint-solving backend-engineering claude-api ai-integration
-
Updated
Jan 24, 2026 - Python
Universal Dependency Intelligence Infrastructure - Formal verification for complex systems using constraint solving + evidence-based provenance
python infrastructure dependency-manager graph-algorithms property-testing constraint-solving ai-development
-
Updated
Jan 30, 2026 - Python
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
-
Updated
May 24, 2025 - Python
Solves a riddle using a constraint solving programming backtracing approach
-
Updated
Nov 7, 2025 - Python
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
A C-based SMT constraint solver implementing interval arithmetic and fixed-point propagation for Linear Integer Arithmetic (LIA).
-
Updated
Dec 7, 2025 - C
🤖 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
This repository contains projects and assignments completed for the Constraint Solving course at KU Leuven.
-
Updated
Nov 20, 2025 - Jupyter Notebook
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."