constraint-solver topic

A Swift implementation of the cassowary simplex solver

compnerd

a GRId LOgic Puzzle Solver library

obijywk

Memory consistency modelling using Alloy

johnwickerson

ANTLR SMT-LIB v2 Grammar

julianthome

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

Tw1ddle

High performance swift implement of constraint solving algorithm cassowary

nangege

A boilerplate ASP.NET Core project, including a sample employee shift scheduler app

bsurprised

The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and othe...

TimefoldAI

Constraint Solver ACE

xcsp3team

Yuck is a local-search constraint solver with FlatZinc interface

informarte