Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: constraint-satisfaction-problem
chocoteam/choco-solver
An open-source Java library for Constraint Programming
Language: Java - Size: 82.1 MB - Last synced: about 7 hours ago - Pushed: about 8 hours ago - Stars: 674 - Forks: 135
mahdianyoones/persian-ney-csp-solver
A custom CSP solver that helps design a woodwind musical instrument
Language: Python - Size: 602 KB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0
AlexeyBond/godot-constraint-solving
WFC (Wave Function Collapse) and generic constraint satisfaction problem solver implementation for Godot 4
Language: GDScript - Size: 5.99 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 253 - Forks: 11
avihuxp/WaveFunctionCollapse
Implementation of the overlapping model of the Wave Function Collapse algorithm
Language: Python - Size: 38.8 MB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 105 - Forks: 6
xcsp3team/ACE
Constraint Solver ACE
Language: Java - Size: 83.3 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 23 - Forks: 5
denis-berthier/CSP-Rules-V2.1
A general pattern-based solver of finite Constraint Satisfaction problems
Language: CLIPS - Size: 88.4 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 14 - Forks: 2
seunAdeks/Coco
Implementation of a web based, browser independent system using a GUI to help automate scheduling of core courses
Language: Python - Size: 9.34 MB - Last synced: 13 days ago - Pushed: over 7 years ago - Stars: 1 - Forks: 1
Yashkapure06/Algorithms
Language: Python - Size: 9.77 KB - Last synced: 15 days ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0
Fuco1/sudoku-cpp
Efficient propagating sudoku solver
Language: C++ - Size: 99.6 KB - Last synced: 15 days ago - Pushed: about 7 years ago - Stars: 1 - Forks: 1
PKU-Alignment/omnisafe
OmniSafe is an infrastructural framework for accelerating SafeRL research.
Language: Python - Size: 52.2 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 833 - Forks: 118
PKU-Alignment/safety-gymnasium
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
Language: Python - Size: 490 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 309 - Forks: 43
rf-/ingrid_core
Crossword-generating library and CLI tool
Language: Rust - Size: 1.94 MB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 19 - Forks: 1
AshishShenoy5103/MAZE-CSP
The project utilizes the backtracking algorithm to solve the CSP efficiently.
Language: Python - Size: 3.91 KB - Last synced: 17 days ago - Pushed: 18 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
BruunAnd/genetic-scheduler
🏫 Scheduling of lectures on Aalborg University with a genetic algorithm.
Language: C - Size: 1.57 MB - Last synced: 22 days ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0
tpaviot/ProcessScheduler
A Python package for automatic and optimized resource scheduling
Language: Jupyter Notebook - Size: 12 MB - Last synced: 19 days ago - Pushed: 3 months ago - Stars: 55 - Forks: 17
trngbro/AI
Research AI - Lecturer: Nguyen Thanh An
Language: Jupyter Notebook - Size: 26.3 MB - Last synced: 23 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
nayel71/sudoku
A Sudoku solver
Language: C - Size: 393 KB - Last synced: 23 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
mcaci/zebra-puzzle-example
A solution for the zebra puzzle in Go
Language: Go - Size: 3.91 KB - Last synced: 29 days ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0
54nd339/Algorithms
An introduction to different algorithmic approach
Language: C - Size: 242 KB - Last synced: 30 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
python-constraint/python-constraint
Constraint Solving Problem resolver for Python
Language: Python - Size: 3.74 MB - Last synced: 20 days ago - Pushed: 4 months ago - Stars: 402 - Forks: 63
xcsp3team/PyCSP3
A Python Library for modeling combinatorial constrained problems
Language: Python - Size: 204 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 56 - Forks: 7
xcsp3team/cosoco
COmpact SOlver for COnstrained problems
Language: C++ - Size: 722 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 11 - Forks: 2
madvorak/vcsp
General-Valued Constraint Satisfaction Problems — playground for experiments preceding my contribution to Mathlib
Language: Lean - Size: 492 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2 - Forks: 0
maneeshaindrachapa/Time-Table-Assign-CSP
Simple time table generator according to the data given, modelling as constraint satisfaction problem
Language: Python - Size: 6.84 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 4 - Forks: 4
luhoangtan2003/Sudoku
Language: Python - Size: 10.7 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
xcsp3team/PyCSP3-models
Models (and data) of constrained problems developped with the library PyCSP3
Language: Python - Size: 15.7 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 6 - Forks: 0
mahdavipanah/SudokuPyCSF
Solve Sudoku with Python using the CSF approach
Language: Python - Size: 4.88 KB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 4 - Forks: 2
PKU-Alignment/SafeDreamer
ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
Language: Python - Size: 2.36 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 22 - Forks: 0
luhanzhen/RuCos
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
Language: Rust - Size: 248 KB - Last synced: 22 days ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0
sidnand/Optimization-Exploratorium
Collection of topics relating to mathematical optimization
Language: Jupyter Notebook - Size: 4.01 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
huaminghuangtw/Parallel-Sudoku-Solver
🔢 A parallelized Sudoku solver implemented with various solving algorithms in C++.
Language: C++ - Size: 3.83 MB - Last synced: 15 days ago - Pushed: over 2 years ago - Stars: 8 - Forks: 5
xoolive/facile
Python constraint programming library
Language: OCaml - Size: 351 KB - Last synced: 19 days ago - Pushed: about 2 months ago - Stars: 22 - Forks: 6
Gecode/gecode
Generic Constraint Development Environment
Language: C++ - Size: 28.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 259 - Forks: 72
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
jcaip/constraint_solver
Python module that solves constraint problems
Language: Python - Size: 5.86 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
ramisa2108/CSE-318-Artificial-Intelligence-Sessional
Assignments completed for Artificial Intelligence Course
Language: Python - Size: 695 KB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
yuxiangdai/heuristic_graph_search
Language: Python - Size: 6.84 KB - Last synced: 2 months ago - Pushed: over 5 years 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
ASK1995/Artificial-Intelligence
CS 531 Course Assignments + Projects at OSU
Language: Python - Size: 1.32 MB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0
xgillard/ddo
DDO a generic and efficient framework for MDD-based optimization.
Language: Rust - Size: 15.5 MB - Last synced: 23 days ago - Pushed: 3 months ago - Stars: 53 - Forks: 4
KayvanShah1/usc-dsci599-otds-fall23
USC DSCI 599 - Optimization Techniques for Data Science - Fall 2023 - Prof. Satish Thittamaranahalli Ka
Size: 2.02 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0
laurabondor/ArtificialIntelligence
Assignments completed during the Artificial Intelligence course.
Language: Python - Size: 575 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
afshinea/stanford-cs-221-artificial-intelligence
VIP cheatsheets for Stanford's CS 221 Artificial Intelligence
Size: 10.1 MB - Last synced: 3 months ago - Pushed: over 4 years ago - Stars: 2,394 - Forks: 468
hyperc-ai/ordered
Entropy-controlled contexts in Python
Language: Python - Size: 120 KB - Last synced: 19 days ago - Pushed: over 2 years ago - Stars: 39 - Forks: 3
Jesse-Cooper/sudokuSolver
Provides a demonstration of a constraint satisfaction problem to solve Sudoku.
Language: Prolog - Size: 3.91 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
crillab/gophersat
gophersat, a SAT solver in Go
Language: Go - Size: 18.3 MB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 355 - Forks: 24
marvk/sigmarsgarden
Opus Magnum's Sigmar's Garden Autosolver, using OpenCV Template Matching
Language: Java - Size: 216 KB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0
adamnelsonarcher/Solving-Constraint-Satisfaction-Problem
Made for COSC4368 initally, modified the program to be general-solution and work with any domain or constraint set provided. Obviously the program would need to be optimized if a highly efficient algorithm is needed for a set of constraints.
Language: Python - Size: 16.6 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
prithkalai/Graph_Coloring_Problem-CSP
Implementation of an algorithm using MRV, LCV and AC-3 Algorithm to solve graph colouring problem. ( CSP )
Language: Jupyter Notebook - Size: 503 KB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
mostafa-mahmoud/djenerator
A simple django tool for generating random/customized test data for django model descriptions!
Language: Python - Size: 246 KB - Last synced: 3 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0
lifebeyondfife/Decider
An Open Source .Net Constraint Programming Solver
Language: C# - Size: 248 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 140 - Forks: 21
sorodocosmin/artificial-intelligence
Assignments completed during the Artificial Intelligence course
Language: Python - Size: 737 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
IlyaKhalafi/AI-Assignments
My assignments for homework of AI course at Amirkabir University of Technology
Language: Jupyter Notebook - Size: 2.92 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0
asif-shahriar11/Artificial-Intelligence
Using artificial intelligence (A* search, Local Search, Contraint Satisfaction, Knowledge Engineering) to solve real-life problems.
Language: Java - Size: 12.2 MB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 0 - Forks: 0
ceenaa/shortest_path
Shortest path algorithm instruction
Language: Jupyter Notebook - Size: 5.41 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
Hoda233/Machine-Intelligence-Labs
Solutions for "Machine Intelligence" course labs
Language: Python - Size: 646 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
MauroDiNuzzo/clpfba
Constraint Logic Programming for Flux Balance Analysis
Language: Prolog - Size: 109 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
aliazizii/Colored-sudoku-second-AI-project
second project at AUT Artificial Intelligence course (Fall 2020)
Language: Python - Size: 387 KB - Last synced: 4 months ago - Pushed: about 3 years ago - Stars: 4 - Forks: 0
levitation-opensource/ai-safety-gridworlds Fork of google-deepmind/ai-safety-gridworlds
Extended, multi-agent and multi-objective environments based on DeepMind's AI Safety Gridworlds. This is a suite of reinforcement learning environments illustrating various safety properties of intelligent agents. It is made compatible with OpenAI's Gym/Gymnasium and Farama Foundation PettingZoo.
Language: Python - Size: 1.26 MB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 6 - Forks: 0
pvigier/room_generator
A Room Generator based on a CSP Solver
Language: C++ - Size: 11.7 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 6 - Forks: 0
andre1araujo/CSP-for-School-Timetables
This repository hosts a Jupyter Notebook on which a Constraint Satisfaction Problem is used to solve a specific Scheduling Problem. Here the algorithm helps the used construct a school timetable based on specific restrictions. Every code block is followed by an explanation!
Language: Jupyter Notebook - Size: 1.38 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
thtran97/max-flow-min-cost-algo
INSA 4IR- OCaml Project - Graph & Constraint Programming
Language: OCaml - Size: 171 KB - Last synced: 4 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
richoux/GHOST_C_sharp
GHOST (General meta-Heuristic Optimization Solving Tool) is a C# library designed to solve combinatorial satisfaction and optimization problems within some tenth of milliseconds.
Language: C# - Size: 4.06 MB - Last synced: 29 days ago - Pushed: over 7 years ago - Stars: 6 - Forks: 2
ChufanSuki/Pacman
Distributed Constraint Optimization Problems Solver
Language: Python - Size: 3.45 MB - Last synced: 4 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 2
andre1araujo/Fundamentals-of-Artificial-Intelligence
Fundamental algorithms of Artificial Intelligence are presented here. There is a example of a scheduling problem solved with a CSP and then there are some Machine Learning methods applied to realistic problems.
Language: Jupyter Notebook - Size: 2.12 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 1
davecom/ClassicComputerScienceProblemsInSwift
Source Code for the Book Classic Computer Science Problems in Swift
Language: Swift - Size: 109 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 184 - Forks: 41
ML-KULeuven/ocus-explain
Efficient Explaining CSPs with Unsatisfiable Subset Optimization
Language: Jupyter Notebook - Size: 1.28 MB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0
Lima001/BCC-Inteligencia-Artificial
Repositório destinado ao armazenamento e compartilhamento de códigos desenvolvidos na disciplina de Inteligência Artificial do Curso de Bacharelado em Ciências da Computação.
Language: C++ - Size: 31.7 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
yunyicheng/ConstraintSatisfaction
An AI CSP(Constraint Satisfaction Problem) solver for FunPuzz puzzles.
Language: Python - Size: 201 KB - Last synced: 19 days ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
mjaglan/AI-Foundations
Problem Solving With AI Approaches: Heuristic Searches, Statistical Classifications
Language: Python - Size: 94.9 MB - Last synced: 4 months ago - Pushed: about 6 years ago - Stars: 3 - Forks: 1
JohnWill14/n-queen-problem
problema n-rainhas usando técnicas de satisfação de restrições
Language: Java - Size: 2.03 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
gnboorse/centipede
Constraint Satisfaction Problem Solver for Golang
Language: Go - Size: 805 KB - Last synced: 3 months ago - Pushed: almost 2 years ago - Stars: 51 - Forks: 10
dwave-examples/job-shop-scheduling
Determine a schedule for running a set of jobs.
Language: Python - Size: 65.4 KB - Last synced: 4 months ago - Pushed: 7 months ago - Stars: 42 - Forks: 31
PriorLax123/Propositional_Logic
This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.
Language: Java - Size: 18.6 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0
ikeratzakis/artificial-intelligence
Demonstration of traditional artificial intelligence problems and techniques (genetic algorithms, constraint satisfaction e.t.c)
Language: Python - Size: 33.2 KB - Last synced: 5 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
brandondionisio/Constraint-Satisfaction-Sudoku-Solver
Implementation of a Sudoku puzzle solver using a Constraint Satisfaction Problems approach that can calculate the easy, evil, and custom puzzles.
Language: Python - Size: 3.91 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0
richoux/GHOST
General meta-Heuristic Optimization Solving Toolkit
Language: C++ - Size: 28.5 MB - Last synced: 29 days ago - Pushed: 2 months ago - Stars: 35 - Forks: 4
kataklinger/fword
Algorithm for construction crossword puzzles implemented in F#
Language: F# - Size: 454 KB - Last synced: 5 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
davecom/SwiftCSP
A Constraint Satisfaction Problem Solver in Pure Swift
Language: Swift - Size: 148 KB - Last synced: 11 days ago - Pushed: over 1 year ago - Stars: 79 - Forks: 11
malavpanda/SudokuSolver
Implementation of various CSP algorithms to solve sudoku puzzles.
Language: Java - Size: 612 KB - Last synced: 5 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
urvishjarvis1/constraintsatisfaction
Language: Java - Size: 36.1 KB - Last synced: 5 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
kdblocher/bridge
Contract bridge system analysis tool for making the most out of your system book.
Language: TypeScript - Size: 53.8 MB - Last synced: 15 days ago - Pushed: about 2 months ago - Stars: 3 - Forks: 2
GeorgeMC2610/Artificial-Intelligence
CSP Solver made in Windows Forms (C# .NET Framework).
Language: C# - Size: 3 MB - Last synced: 4 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
irfanalmsyah/csp-crossword
Implementasi Penyelesaian Permainan Teka-teki Silang dengan Pendekatan Constraint Satisfaction Problem
Language: Python - Size: 3.88 MB - Last synced: 18 days ago - Pushed: 5 months ago - Stars: 0 - Forks: 1
syntnc/Artificial-Intelligence
IIIT Allahabad B. Tech. (IT) 5th Semester Artificial Intelligence Lab Assignments + HackerRank Artificial Intelligence Track
Language: Python - Size: 112 KB - Last synced: 26 days ago - Pushed: almost 6 years ago - Stars: 32 - Forks: 25
jgurakuqi/search-based-sudoku-solver
This project aims to show how to solve a given Sudoku in two different ways, through Backtracking (in a flavour of Forward Checking) and Relaxation Labeling.
Language: C++ - Size: 75.2 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0
zarif98sjs/CSE-318-Artificial-Intelligence
CSE 318 Artificial Intelligence Sessional (L3/T2)
Language: Java - Size: 5.83 MB - Last synced: 2 months ago - Pushed: about 2 years 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
gadgil-devashri/csp-map-coloring
This code was submitted as programming project two for ITCS 6150 Intelligent Systems under Dr. Dewan Ahmad at the University of North Carolina at Charlotte for the fall 2021 semester. The aim is to solve the constraint satisfaction problem of map coloring for the USA and Australia.
Language: Python - Size: 51.5 MB - Last synced: 6 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 3
le-n-qui/constraints-verifying-solver
The solver finds a solution to the problem given the constraints. No solution may be found if all the constraints are not satisfied.
Language: Python - Size: 43 KB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
aravindsomaraj/aiproject-pacman
An Artificial Intelligence Project based on UC Berkeley's Pacman AI course
Language: Python - Size: 617 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 1
buffos/aind_projects
projects for Udacity's AI nanodegree
Language: Python - Size: 998 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0
damiano00/T_768_SMAI_Informed_Search_Methods_in_AI
Assignments given during the course Informed Search Methods in AI in Reykjavik University, during the Double Degree study period.
Size: 437 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0
dwave-examples/factoring-notebook
Factor numbers using a quantum computer.
Language: Jupyter Notebook - Size: 245 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 7 - Forks: 20
dwave-examples/cryptarithmetic
Solve cryptarithmetic addition puzzles using the LeapHybridCQMSampler.
Language: Python - Size: 120 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 7 - Forks: 11
alvaroqsaldanha/Multi-Agent-PathFinding-w-CSP
Implementation of multi-agent constraint satisfaction problem (specified in the README), that finds its optimal solution using MiniZinc Python.
Language: Python - Size: 81.1 KB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
dwave-examples/circuit-fault-diagnosis
Find possible failing components on a circuit.
Language: Python - Size: 104 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 25 - Forks: 29
edaaydinea/CSMM101X-Artificial-Intelligence
This repository includes the projects of the CSMM101X - Artificial Intelligence course offered by Columbia University.
Language: Python - Size: 108 KB - Last synced: 7 months ago - Pushed: over 1 year ago - Stars: 4 - Forks: 2
nirjarigandhi/Tetris-Constraint-Solving
Language: Python - Size: 191 KB - Last synced: 7 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 1