Skip to content

Commit

Permalink
Add the description of the last changes to README
Browse files Browse the repository at this point in the history
  • Loading branch information
marekpiotrow committed Jun 8, 2024
1 parent f219dd1 commit fc5d4c4
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@ Since the version 1.3 you can merge the power of this solver with the [SCIP solv

Since the version 1.4 you can use the solver as a library with the IPAMIR interface (see [IPAMIR](https://maxsat-evaluations.github.io/2022/incremental.html)). Some UWrMaxSat parameters can be set in the environment variable UWRFLAGS, for example, UWRFLAGS="-v1 -scip-cpu=120". It works both with the library and with the standalone application.

Since version 1.6.1 the IPAMIR library runs the SCIP solver in a separate thread in the similar way as the standalone application. This default behaviour can be changed by setting UWRFLAGS="-no-par".

================================================================================
### Quick Install

Expand Down

0 comments on commit fc5d4c4

Please sign in to comment.