A PHP port of the Kiwi Java implementation of the Cassowary constraint solving algorithm
This project was created by porting kiwi-java line for line to PHP. Later is was optimized by adopting code from other ports, especially Kiwi Haxe.
It was created to be used in a framework for interactive cli applications.
$solver = new Solver();
$x = new Variable('x');
$y = new Variable('y');
// x = 20
$solver->addConstraint(Symbolics::equals($x, 20.0));
// x + 2 = y + 10
$solver->addConstraint(Symbolics::equals(
Symbolics::add($x, 2.0),
Symbolics::add($y, 10.0)
));
$solver->updateVariables();
echo sprintf('x = %f.1 | y = %f.1', $x->getValue(), $y->getValue());
// x = 20.0 | y = 12.0