Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: csp-solver

my-LinkedIn/pe-0345

Problem #345 - Matrix Sum

Size: 89.8 KB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0

alex-87/qaekwy-python

Python Client library for Qaekwy Operational Research Solver

Language: Python - Size: 46.9 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 8 - Forks: 1

eyadashrafkh/labs

Language: Python - Size: 757 KB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 0 - Forks: 0

anthonytedja/sudoku

sudoku is an AI-powered CSP sudoku variant solver for all grid sizes

Language: Python - Size: 94.7 KB - Last synced: 29 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

fabiancannaheim/sudoku

Sudoko Solver as CSP

Language: Python - Size: 12.7 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

AlexandruValeanu/Constraint-satisfaction-problems-using-or-tools

Collection of puzzles transformed into constraint satisfaction problems (CSPs) and solved using Google's or-tools

Language: Python - Size: 28.3 KB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 1

Demenico14/CSP-algorithm-Implementation

Implementation of the CSP algorithm using a Sudoku Solver

Language: Python - Size: 7.81 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

maksym-turkot/csp-sudoku-solver

Constraint satisfaction problem (CSP) solver for Sudoku puzzles

Language: Java - Size: 2.45 MB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

carcassonkp/Sudoku-Solver

Sudoku solver using a brute-force backtracking approach and a CSP approach

Language: Python - Size: 70.3 KB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

yunyicheng/ConstraintSatisfaction

An AI CSP(Constraint Satisfaction Problem) solver for FunPuzz puzzles.

Language: Python - Size: 201 KB - Last synced: 18 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

parvvaresh/kakuro_csp

Welcome to the Sudoku Solver with Backtracking! This Python program is designed to solve Sudoku puzzles using the backtracking algorithm. Sudoku is a popular logic-based combinatorial number-placement puzzle, and this solver aims to efficiently find a solution for any given puzzle.

Language: Python - Size: 12.7 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 2 - Forks: 0

duongtruongbinh/Cryptarithmetic-Problem

Cryptarithmetic Problem Solving using CSP

Language: Python - Size: 63.5 KB - Last synced: 2 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

zahrasalarian/CSP-Sudoku

CSP-Sudoku solver

Language: Python - Size: 19.7 MB - Last synced: 8 months ago - Pushed: about 3 years ago - Stars: 3 - Forks: 0

gabrielhdt/ocspbt

Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab

Language: OCaml - Size: 34.2 KB - Last synced: 8 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

alesordo/Covering-Salesman-Problem Fork of aleama98/Covering-TravellingSalesmanProblem

CSP solver, using different approaches

Language: Python - Size: 104 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

Techatonic/part-ii-project

Multi-sport Tournament Scheduler

Language: Python - Size: 567 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

VissaMoutafis/RLFAP-Solver

Classic CSP Algorithms to solve RLFAP

Language: Python - Size: 214 KB - Last synced: 9 months ago - Pushed: about 3 years ago - Stars: 5 - Forks: 0

vtramo/python-algorithms

This repository contains various Python algorithms that cover a wide range of problem-solving scenarios.

Language: Python - Size: 24.4 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

matsuda0528/ravensat

SAT Solver Interface in Ruby

Language: Ruby - Size: 139 KB - Last synced: 28 days ago - Pushed: over 1 year ago - Stars: 3 - Forks: 1

super-m-a-n/csp-algorithms-for-rlfap

Implementation of constraint satisfaction problem algorithms to solve the radio link frequency assignment problem - rlfap

Language: Python - Size: 112 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

StevenSalazarM/CSP-Sudoku-Solver

Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python

Language: Python - Size: 404 KB - Last synced: 11 months ago - Pushed: over 3 years ago - Stars: 5 - Forks: 9

sandervandorsten/csp-solver

Pretty awesome generic sudoku solver that is faster that you will ever be.

Language: Python - Size: 1.69 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

sandervandorsten/sudoku-csp-solver

Pretty awesome generic sudoku solver that is faster that you will ever be.

Language: Python - Size: 712 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 3

BretVH/Zappos-Engineering-Challenge-

Code for the Software Engineering College Intern position Challenge. This code tries to retrieve n-items whose total value is greater than 95% of the value of the amount the user would like to spend and less than 105% of the amount the user desired to spend, by solving a CSP. DESCRIPTION: When giving gifts, consumers usually keep in mind two variables - cost and quantity. In order to facilitate better gift-giving on the Zappos website, the Software Engineering team would like to test a simple application that allows a user to submit two inputs: N (desired # of products) and X (desired dollar amount). The application should take both inputs and leverage the Zappos API (http://developer.zappos.com/docs/api-documentation) to create a list of Zappos products whose combined values match as closely as possible to X dollars. For example, if a user entered 3 (# of products) and $150, the application would print combinations of 3 product items whose total value is closest to $150.‏

Language: Java - Size: 1.77 MB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

chanioxaris/kenken-solver

Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)

Language: Python - Size: 139 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 18 - Forks: 3

MahmoudHussienMohamed/AC3-CPP-Crossword-Solver

C++ Crossword Solver using AC3 and Back Track Algorithms.

Language: C++ - Size: 164 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

Kalana99/190530H-Time-Table-Assign-CSP

Constraint Satisfaction Problem: Backtracking algorithm to schedule time slots and rooms for a given set of subjects.

Language: Python - Size: 7.04 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

mguenther/csp-solver-scala

Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the original Java version. Features Sudoku as an example application.

Language: Scala - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 9 - Forks: 2

theoden8/sh-project

Joint (Maths & Computer Science) Senior Honours project on Graph Homomorphisms.

Language: Python - Size: 17.3 MB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0

GhazaleZe/Artificial-Intelligence

codes of my IUT course

Language: Python - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 6 - Forks: 1

danilonumeroso/csp-solver

General Class + backtracking for solving any kind of CSPs

Language: TypeScript - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

JR-Morgan/Genetic-Algorithm-Framework

A Genetic Algorithm Framework build for comparing evolutionary and genetic algorithms for the Travelling Salesman Problem and the Cutting Stock Problem

Language: C# - Size: 188 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 3 - Forks: 0

massykezzoul/csp-experimentation

Ce projet s'attache à mettre en place des optimisations au resolveur de CSP.

Language: Java - Size: 1.01 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

hudavn/AI-Project-01

Cryptarithmetic Problem in AI

Language: Python - Size: 994 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 1

mguenther/csp-solver-java

Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Java-based solution which is written in a functional programming style. Features Sudoku as an example application.

Language: Java - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 2 - Forks: 2

jphmrst/scala-search

Search algorithm implementations in Scala

Language: Scala - Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

luizsci42/Organizador-de-Horarios-AIMA-PSR

Language: Java - Size: 660 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 1

tzxb018/csp-solver

This is a Java based CSP solver that uses different search algorithms to find consistent solutions to the CSP

Language: Java - Size: 231 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

Mogady/AI-Algorithms-with-R

Implementation for some AI algorithms with R for my college assignments

Language: R - Size: 197 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

NH0/CSP_solver

A constraint programming solver, relying on a backtrack paired with look forward algorithms.

Language: C++ - Size: 145 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

pranav-ap/csp-solver

A CSP solver that uses Backtracking and MAC

Language: Python - Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

alinadirkhanloo/sudoku

solving sudoku problems with csp

Language: Python - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

nomaanakhan/CSP-Solver

Implemented a constraint satisfaction problem solver using backtracking and forward checking.

Language: Python - Size: 5.86 KB - Last synced: 6 days ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

NiloofarShahbaz/Sudoku-Csp

Solving Sudoku puzzle with CSP

Language: Python - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

Ignotus/uva-knowledge-representation

Knowledge Representation Assignments (SAT solver, CSP solver, Qualitative Reasoning)

Language: Jupyter Notebook - Size: 11.9 MB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

violetguos/AI_Pacman

🅰️I

Language: Python - Size: 1.6 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

Related Keywords
csp-solver 46 csp 16 constraint-satisfaction-problem 12 sudoku-solver 10 python 9 ai 8 sudoku 7 forward-checking 6 backtracking 5 artificial-intelligence 5 backtracking-algorithm 5 python3 5 mrv-heuristic 4 java 4 backtracking-search 3 local-search 3 solver 3 sat-solver 2 heuristics 2 minizinc 2 ai-algorithm 2 degree-heuristic 2 optimization 2 scala 2 functional-programming 2 rlfap 2 algorithms 2 genetic-algorithm 1 evolutionary-algorithms 1 tabu-search 1 tsp 1 tsp-problem 1 tsp-solver 1 random-restart 1 metaheuristics 1 max-sat 1 hill-climbing-search 1 game-theory 1 choco-solver 1 0-1-knapsack-problem 1 np-complete 1 interactive-visualizations 1 graph-theory 1 gap 1 71page 1 problems-solving 1 algorithms-and-data-structures 1 crossword-puzzle 1 cpp 1 n-queens 1 pytorch 1 look-forward 1 coloration 1 r 1 qlearning-algorithm 1 mdp 1 markov-decision-processes 1 lcv 1 dfs-algorithm 1 csce421 1 least-constraining-value 1 searching-algorithms 1 pyhton3 1 aritificial-intelligence 1 knowledge-representation 1 aima-java 1 alpha-beta-pruning 1 aima-3e 1 search-space 1 hidden-markov-model 1 nqueens 1 csp-search 1 pathfinding 1 algorithms-datastructures 1 ai-search 1 a-star 1 project 1 machine-learning 1 optimization-algorithms 1 queens-problem 1 ocaml 1 cryptarithmetic 1 ortools 1 google-or-tools 1 gac 1 sudoko-solver 1 gui-application 1 solver-algorithm 1 search-engine-optimization 1 operational-research 1 modelling-framework 1 modelling 1 modeling 1 deep-first-search 1 decision-making 1 constraint-satisfaction-and-optimization 1 constraint-programming 1 client-library 1 branch-and-bound 1 solution 1