constraint-solving-algorithm

There are 0 repository under constraint-solving-algorithm topic.

• starwing / amoeba

  a Cassowary constraint solving algorithm implements in pure C.

  cassowary-algorithmlua-languageconstraint-solving-algorithmsingle-header-lib
  Language:C++ 171

• Tw1ddle / haxe-kiwi

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

  kiwihaxe-kiwiconstraint-solving-algorithmcassowaryconstraint-solverhaxehaxe-porthaxelib
  Language:Haxe 19

• mahdavipanah / SudokuPyCSF

  Solve Sudoku with Python using the CSF approach

  pythonsudokusudoku-solverartificial-intelligencebacktrackingalgorithmcsfconstraint-satisfaction-problemconstraint-solving-algorithmconstraint-satisfactionmrv-heuristicdegree-heuristicheuristiclocal-search
  Language:Python 4

• niibruce / ConstraintSolver

  Implementation of Constraint Solvers in Java

  constraint-solving-algorithmforward-checkingarc-consistency-algorithmconstraint-solverdiscrete-optimization
  Language:Java 4

• luhanzhen / RuCos

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

  constraint-programmingconstraint-satisfaction-problemconstraint-solverconstraint-solving-algorithmparallel-computingsolverxcsp3rustrust-solver
  Language:Rust 1

• Randy1005 / QSat

  A Quick Conflict Driven SAT Solver

  conflict-analysisconstraint-solving-algorithmsat-solver
  Language:C++ 0

• pmatos / maxsatzilla

  A portfolio solver for the MaxSAT problem.

  maxsatportfolio-solverconstraint-solving-algorithm
  Language:C

• Tw1ddle / haxe-kiwi-unit-tests

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

  cassowaryconstraint-solverconstraint-solving-algorithmhaxehaxe-kiwihaxe-porthaxelibkiwi
  Language:Haxe