JAChesney/clash-free-timetable-ga-v1

Generates two clash-free class schedules using a genetic algorithm with random selection, crossover, and mutation. Designed for 3 teachers over 3 days and 3 periods.

Language: Python - Size: 10.6 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 2

davecom/SwiftCSP

A Constraint Satisfaction Problem Solver in Pure Swift

Language: Swift - Size: 148 KB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 82 - Forks: 11

siemens/JMiniZinc

JMiniZinc

Language: Java - Size: 1.56 MB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 6

chassisframework/bin_packer

(WIP) Optimizing bin packing constraint solver for Elixir

Language: Elixir - Size: 1.63 MB - Last synced at: 10 days ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

mahdavipanah/SudokuPyCSF

Solve Sudoku with Python using the CSF approach

Language: Python - Size: 4.88 KB - Last synced at: 13 days ago - Pushed at: about 8 years ago - Stars: 5 - Forks: 2

hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 61.1 MB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 366 - Forks: 76

Pieter-Cawood/Distributed-constraint-satisfaction

Example of algorithms used to solve distributed constraint problems

Language: Python - Size: 23.4 KB - Last synced at: 9 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

UW-ACL/ct-scvx

Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction

Size: 3.91 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

purnanandelango/ct-scvx

Successive Convexification with Continuous-Time Constraint Satisfaction

Language: MATLAB - Size: 122 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 5 - Forks: 0

justiceo/Praso-DPD

A design pattern detection tool based on constraint satisfaction

Language: Scala - Size: 25.8 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1

Gecode/gecode

Generic Constraint Development Environment

Language: C++ - Size: 28.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 259 - Forks: 72

davidlevinwork/GB-FS-METHODS

Official code implementation for GB-AFS and GB-BC-FS methods

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

EGjoni/Everything-Will-Be-IK

A Robust Inverse Kinematics Library

Language: HTML - Size: 17.3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 42 - Forks: 4

qihongl/demo-necker-cube

a recurrent neural network of bistable perception

Language: Jupyter Notebook - Size: 381 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

fkutzner/PyCSCL

A lightweight CNF SAT constraint encoder library

Language: Python - Size: 221 KB - Last synced at: about 3 hours ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1

hooman650/BioModelChecker

Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks

Language: Python - Size: 9.81 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 2

ntrang086/constraint_satisfaction_Nqueens

an artificial intelligence project to solve the N-queen constraint satisfaction problem

Language: Python - Size: 269 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

digitalbricklayer/workbench 📦

Experiments in building a constraint workbench.

Language: C# - Size: 8.52 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

BennyDubz/Constraint_Satisfaction

Implementation of a generalized Constraint Satisfaction Problem, alongside a backtracking solver with MAC, min-remaining-value, and least-constraining-value heuristics. Applied to map coloring, the N-Queens Problem, and Circuit Board design. Also an implementation of a min-conflicts local search that is ideal for the N-Queens.

Language: Python - Size: 175 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

YuPeiHenry/Pyramid-Puzzle-Solver

This is a puzzle solver created from scratch by myself, with the purpose of practice and fun. If you are looking for a solver for the puzzle below or interested in how the solver was formulated, this page is for you! Disclaimer: I did not create the puzzle.

Language: Java - Size: 9.31 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

behnaaz/constreofy

Proof of concept

Language: Java - Size: 6.76 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

arey0pushpa/pyZ3

Encoding Vesicle Traffic System in Z3 and CBMC

Language: TeX - Size: 13 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

phil8192/tile-maps

Mapping a set of random points to a uniform lattice

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

PMarcL/HydraSolver

Language: C++ - Size: 525 KB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

lluisalemanypuig/box-wrapping

Algorithms on the Box Wrapping Problem

Language: C++ - Size: 4.63 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

vivri/Adjective

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

Language: Scala - Size: 76.2 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 92 - Forks: 5

Naharul98/Automated-Leave-Management-System

An automated system which checks holidays requested by employees, against a set of constraints and automatically approves/rejects and suggests alternative dates

Language: PHP - Size: 265 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

Regan-Koopmans/n-queens

A solver for the n-queens problem.

Language: Rust - Size: 3.91 KB - Last synced at: about 14 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jesgadiaz/GBP

Mathematical formulations for graph burning

Language: Jupyter Notebook - Size: 638 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

ryancollingwood/RankParser

Constraints solving (sequencing, priority) as a command line tool. Type your constraints in simple plain text. Generation of Graphviz compatible documents that can be rendered as a diagram!

Language: Python - Size: 716 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

jimd1989/vapid

a visual problem solver

Language: TypeScript - Size: 82 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

sgreben/rc

A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.

Language: Java - Size: 56.6 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 1

sgreben/rc-cli

A rule checker command line tool. Reads YAML, written in Java. Checks sets of rules for completeness, overlap, and constraint satisfaction

Language: Java - Size: 25.4 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

Fuco1/sudoku-cpp

Efficient propagating sudoku solver

Language: C++ - Size: 99.6 KB - Last synced at: 21 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

jimd1989/zebrah

generates Zebra Puzzle/Einstein's Riddle

Language: Scheme - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0