Advanced - Powered by Google
That release brings explanation support for cardinality and pseudo boolean problems.
It also introduces a new class, DependencyHelper, to facilitate the encoding of domain constraints into SAT.
Copyright © 1999-2008, OW2 Consortium | contact | PS: You have a difficulty, a problem ? Please report an issue using your main OW2 account credentials