From 605a3128d92ae6eb777749f3dec1f324b4aed434 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 4 Jul 2022 17:06:21 -0700 Subject: [PATCH] make release notes markdown Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES => RELEASE_NOTES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename RELEASE_NOTES => RELEASE_NOTES.md (99%) diff --git a/RELEASE_NOTES b/RELEASE_NOTES.md similarity index 99% rename from RELEASE_NOTES rename to RELEASE_NOTES.md index dac0367d2..4c8cf74c7 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES.md @@ -29,7 +29,7 @@ Version 4.9.0 - Totalizers and RC2 - The MaxSAT engine now allows to run RC2 with totalizer encoding. Totalizers are on by default as preliminary tests suggest this solves already 10% more problems on - standard benchmarks. The option rc2.totalizer (which by default is true) is used to control whether to use + standard benchmarks. The option opt.rc2.totalizer (which by default is true) is used to control whether to use totalizer encoding or built-in cardinality constraints. The default engine is still maxres, so you have to set opt.maxsat_engine=rc2 to enable the rc2 option at this point. The engines maxres-bin and rc2bin are experimental should not be used