Advanced - Powered by Google
It is no longer needed to set the number of variables before adding clauses in the solver.
The zip file contains both the binary jar file and the source jar file.
Copyright © 1999-2008, OW2 Consortium | contact | PS: You have a difficulty, a problem ? Please report an issue using your main OW2 account credentials