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

GitHub topics: constraint-solving-algorithm

starwing/amoeba

a Cassowary constraint solving algorithm implements in pure C.

Language: C++ - Size: 136 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 188 - Forks: 25

mahdavipanah/SudokuPyCSF

Solve Sudoku with Python using the CSF approach

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

luhanzhen/RuCos

RuCos is an extremely high-performance parallel constraint solver implemented by Rust.

Language: Rust - Size: 248 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

Randy1005/QSat

A Quick Conflict Driven SAT Solver

Language: C++ - Size: 75.4 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

pmatos/maxsatzilla

A portfolio solver for the MaxSAT problem.

Language: C - Size: 8.89 MB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1

niibruce/ConstraintSolver

Implementation of Constraint Solvers in Java

Language: Java - Size: 150 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 2

Tw1ddle/haxe-kiwi-unit-tests

Unit tests for Haxe Kiwi, an implementation of the Cassowary constraint solving algorithm

Language: Haxe - Size: 13.7 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Tw1ddle/haxe-kiwi

:bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm

Language: Haxe - Size: 59.6 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 2