Projects in Awesome Lists tagged with constraint-satisfaction
A curated list of projects in awesome lists tagged with constraint-satisfaction .
https://github.com/hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
ampl answer-set-programming choco comet constraint-programming constraint-satisfaction eclipse-clp essence frink gecode jacop jgap minizinc numberjack picat poplog prolog setl sicstus-prolog z3py
Last synced: 09 Apr 2025
https://github.com/davecom/swiftcsp
A Constraint Satisfaction Problem Solver in Pure Swift
constraint-satisfaction constraint-satisfaction-problem eight-queen-problem eight-queens-puzzle map-coloring sudoku-solver swift
Last synced: 27 Apr 2025
https://github.com/mahdavipanah/sudokupycsf
Solve Sudoku with Python using the CSF approach
algorithm artificial-intelligence backtracking constraint-satisfaction constraint-satisfaction-problem constraint-solving-algorithm csf degree-heuristic heuristic local-search mrv-heuristic python sudoku sudoku-solver
Last synced: 06 Dec 2024
https://github.com/jmjrawlings/minizinc.net
MiniZinc ↔ .NET
boolean-satisfiability constraint-modelling constraint-programming constraint-satisfaction csharp dotnet minizinc mixed-integer-programming optimisation optimization
Last synced: 18 Mar 2025
https://github.com/fuco1/sudoku-cpp
Efficient propagating sudoku solver
backtracking c-plus-plus constraint-satisfaction constraint-satisfaction-problem sudoku
Last synced: 01 Apr 2025
https://github.com/sgreben/rc
A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.
analysis builder checker constraint-satisfaction rule-checker rules ruleset yaml z3
Last synced: 16 Mar 2025
https://github.com/regan-koopmans/n-queens
A solver for the n-queens problem.
constraint-satisfaction queens-problem rust solver
Last synced: 05 Apr 2025
https://github.com/sgreben/rc-cli
A rule checker command line tool. Reads YAML, written in Java. Checks sets of rules for completeness, overlap, and constraint satisfaction
analysis constraint-satisfaction constraints rc rule-checker rules yaml z3
Last synced: 16 Mar 2025