Mail Archive Home | sat4j-dev List | March 2006 Index

PB06 compliant pseudo boolean solver available

Subject: PB06 compliant pseudo boolean solver available
From: Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>
Date: Wed, 22 Mar 2006 21:22:06 +0100

I just committed a new Reader for the pseudo boolean problems that
should be compliant with the PB06 input format.
        
I let the PB05 reader in the library, for people willing to benchmark
the current solvers on the PB05 benchmarks.
        
The new default PB reader is the PB06 compliant one.
        
Cheers,
        
                Daniel

PB06 compliant pseudo boolean solver available, Daniel Le Berre

<-- Date Index -->

<-- Thread Index -->

Search OW2 Mail Archive:
Advanced Search - Powered by Google