Advanced - Powered by Google
Fixed a few issues when dealing with MAXSAT files with weighted unit clauses.
Note that release 2.0.5 does not support BigInteger as weights.
This is fixed in HEAD, and will be available in release 2.1 of SAT4J.
Copyright © 1999-2008, OW2 Consortium | contact | PS: You have a difficulty, a problem ? Please report an issue using your main OW2 account credentials