Version 1.3.5

v1.3.5

Costs of reused sorters are better evalueted now

Version 1.3.4

Several improvements in the code of sorter's reuse.

Version 1.3.3

Fixing an error with BIGINT conversions

Version 1.3.2

The project should be compilable on MacOS now.

Version 1.3.1

Small fixes to Version 1.3

Version 1.3

In this version you can merge the power of this solver with the SCIP solver, if you have a licence to use it (see: https://scipopt.org/index.php#license). The SCIP solver will be run in a separate thread, if a MaxSAT instance is not too big (less than 100000 variables and clauses). Using parameters, you can force the solver to ran in the same thread as UWrMaxSat for a given number of seconds and UWrMaxSat will be started afterwards.

In this version you will get compiler errors if you use both SCIP and Cadical solvers due to some limitations in the Cadical interface.

Version 1.2.2

The sorter encoder is extended with a module to check if some previous encodings can be reused. The MaxSAT solver is partially extended with a generalized Boolean multilevel optimization.

Version 1.2.1

A few fixes were added to the new fragments of parsing code. README was converted to the markdown format.

Version 1.2

The new format of WCNF files is now accepted (see: https://maxsat-evaluations.github.io/2020/format.html). A few bugs are fixed.

Version 1.1.3

Improved compatibility with clang++ and mingw64 g++.