From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=ALL_TRUSTED, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 10202 invoked from network); 28 Jun 2023 13:01:39 -0000 Received: from localhost (HELO inbox.vuxu.org) (::1) by localhost with ESMTPUTF8; 28 Jun 2023 13:01:39 -0000 Content-Type: multipart/mixed; boundary="===============9151373405919682721==" MIME-Version: 1.0 Subject: =?utf8?q?=5BPR_PATCH=5D_minisat=3A_update_to_2=2E2=2E1=2C_switch_to_maintained_fork=2E?= To: ml@inbox.vuxu.org From: hazen2215 Reply-to: ml@inbox.vuxu.org Message-ID: Date: Wed, 28 Jun 2023 15:01:38 +0200 List-Id: GitHub notification mails are now in MIME to allow UTF8. --===============9151373405919682721== Content-Type: text/plain; charset="utf8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlcmUgaXMgYSBuZXcgcHVsbCByZXF1ZXN0IGJ5IGhhemVuMjIxNSBhZ2FpbnN0IG1hc3RlciBv biB0aGUgdm9pZC1wYWNrYWdlcyByZXBvc2l0b3J5CgpodHRwczovL2dpdGh1Yi5jb20vaGF6ZW4y MjE1L3ZvaWQtcGFja2FnZXMgbWluaXNhdApodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92 b2lkLXBhY2thZ2VzL3B1bGwvNDQ2ODAKCm1pbmlzYXQ6IHVwZGF0ZSB0byAyLjIuMSwgc3dpdGNo IHRvIG1haW50YWluZWQgZm9yay4KPCEtLSBVbmNvbW1lbnQgcmVsZXZhbnQgc2VjdGlvbnMgYW5k IGRlbGV0ZSBvcHRpb25zIHdoaWNoIGFyZSBub3QgYXBwbGljYWJsZSAtLT4KCnN3aXRjaCB0byBt YWludGFpbmVkIGZvcmsgKGh0dHBzOi8vZ2l0aHViLmNvbS9zdHAvbWluaXNhdCkKCiMjIyMgVGVz dGluZyB0aGUgY2hhbmdlcwotIEkgdGVzdGVkIHRoZSBjaGFuZ2VzIGluIHRoaXMgUFI6ICoqWUVT KioKCjwhLS0KIyMjIyBOZXcgcGFja2FnZQotIFRoaXMgbmV3IHBhY2thZ2UgY29uZm9ybXMgdG8g dGhlIFtwYWNrYWdlIHJlcXVpcmVtZW50c10oaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgv dm9pZC1wYWNrYWdlcy9ibG9iL21hc3Rlci9DT05UUklCVVRJTkcubWQjcGFja2FnZS1yZXF1aXJl bWVudHMpOiAqKllFUyoqfCoqTk8qKgotLT4KCjwhLS0gTm90ZTogSWYgdGhlIGJ1aWxkIGlzIGxp a2VseSB0byB0YWtlIG1vcmUgdGhhbiAyIGhvdXJzLCBwbGVhc2UgYWRkIGNpIHNraXAgdGFnIGFz IGRlc2NyaWJlZCBpbgpodHRwczovL2dpdGh1Yi5jb20vdm9pZC1saW51eC92b2lkLXBhY2thZ2Vz L2Jsb2IvbWFzdGVyL0NPTlRSSUJVVElORy5tZCNjb250aW51b3VzLWludGVncmF0aW9uCmFuZCB0 ZXN0IGF0IGxlYXN0IG9uZSBuYXRpdmUgYnVpbGQgYW5kLCBpZiBzdXBwb3J0ZWQsIGF0IGxlYXN0 IG9uZSBjcm9zcyBidWlsZC4KSWdub3JlIHRoaXMgc2VjdGlvbiBpZiB0aGlzIFBSIGlzIG5vdCBz a2lwcGluZyBDSS4KLS0+CiMjIyMgTG9jYWwgYnVpbGQgdGVzdGluZwotIEkgYnVpbHQgdGhpcyBQ UiBsb2NhbGx5IGZvciBteSBuYXRpdmUgYXJjaGl0ZWN0dXJlLCAoeDg2XzY0LW11c2wpCgoKQSBw YXRjaCBmaWxlIGZyb20gaHR0cHM6Ly9naXRodWIuY29tL3ZvaWQtbGludXgvdm9pZC1wYWNrYWdl cy9wdWxsLzQ0NjgwLnBhdGNoIGlzIGF0dGFjaGVk --===============9151373405919682721== Content-Type: text/x-diff MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="github-pr-minisat-44680.patch" RnJvbSBhYmM2NmE2MGFmYmUwYWM5YTA1ZGE1NDYwZjQ5NTRhOTE3NWY4YTBmIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBoYXplbjIyMTUgPGhhekBkaXNyb290Lm9yZz4KRGF0ZTogV2Vk LCAyOCBKdW4gMjAyMyAyMToyNzoxMCArMDkwMApTdWJqZWN0OiBbUEFUQ0hdIG1pbmlzYXQ6IHVw ZGF0ZSB0byAyLjIuMSwgc3dpdGNoIHRvIG1haW50YWluZWQgZm9yay4KCi0tLQogY29tbW9uL3No bGlicyAgICAgICAgICAgICAgICAgICAgICAgICAgfCAgMSArCiBzcmNwa2dzL2xpYm1pbmlzYXQg ICAgICAgICAgICAgICAgICAgICB8ICAxICsKIHNyY3BrZ3MvbGlibWluaXNhdC1kZXZlbCAgICAg ICAgICAgICAgIHwgIDEgKwogc3JjcGtncy9taW5pc2F0L3BhdGNoZXMvZml4LW11c2wucGF0Y2gg fCA0MSArKysrKysrKysrKysrKysrKysrKysrKysrKwogc3JjcGtncy9taW5pc2F0L3BhdGNoZXMv ZnJpZW5kLnBhdGNoICAgfCAyMSAtLS0tLS0tLS0tLS0tCiBzcmNwa2dzL21pbmlzYXQvdGVtcGxh dGUgICAgICAgICAgICAgICB8IDM3ICsrKysrKysrKysrKysrLS0tLS0tLS0tCiA2IGZpbGVzIGNo YW5nZWQsIDY3IGluc2VydGlvbnMoKyksIDM1IGRlbGV0aW9ucygtKQogY3JlYXRlIG1vZGUgMTIw MDAwIHNyY3BrZ3MvbGlibWluaXNhdAogY3JlYXRlIG1vZGUgMTIwMDAwIHNyY3BrZ3MvbGlibWlu aXNhdC1kZXZlbAogY3JlYXRlIG1vZGUgMTAwNjQ0IHNyY3BrZ3MvbWluaXNhdC9wYXRjaGVzL2Zp eC1tdXNsLnBhdGNoCiBkZWxldGUgbW9kZSAxMDA2NDQgc3JjcGtncy9taW5pc2F0L3BhdGNoZXMv ZnJpZW5kLnBhdGNoCgpkaWZmIC0tZ2l0IGEvY29tbW9uL3NobGlicyBiL2NvbW1vbi9zaGxpYnMK aW5kZXggZWY3MWJhZTNmOWE3Li4xNzAxNmM2NTZkMTggMTAwNjQ0Ci0tLSBhL2NvbW1vbi9zaGxp YnMKKysrIGIvY29tbW9uL3NobGlicwpAQCAtNDI3OCwzICs0Mjc4LDQgQEAgbGlianhsX2RlYy5z by4wLjggbGlianhsLTAuOC4yXzEKIGxpYmp4bF90aHJlYWRzLnNvLjAuOCBsaWJqeGwtMC44LjJf MQogbGlidGV4dC1lbmdpbmUtMC4xLnNvLjAgdGV4dC1lbmdpbmUtMC4xLjFfMQogbGlidm1hZi5z by4xIHZtYWYtMi4zLjFfMQorbGlibWluaXNhdC5zby4yIGxpYm1pbmlzYXQtMi4yLjFfMQpkaWZm IC0tZ2l0IGEvc3JjcGtncy9saWJtaW5pc2F0IGIvc3JjcGtncy9saWJtaW5pc2F0Cm5ldyBmaWxl IG1vZGUgMTIwMDAwCmluZGV4IDAwMDAwMDAwMDAwMC4uMzc2NThlYjUxNTdhCi0tLSAvZGV2L251 bGwKKysrIGIvc3JjcGtncy9saWJtaW5pc2F0CkBAIC0wLDAgKzEgQEAKK21pbmlzYXQKXCBObyBu ZXdsaW5lIGF0IGVuZCBvZiBmaWxlCmRpZmYgLS1naXQgYS9zcmNwa2dzL2xpYm1pbmlzYXQtZGV2 ZWwgYi9zcmNwa2dzL2xpYm1pbmlzYXQtZGV2ZWwKbmV3IGZpbGUgbW9kZSAxMjAwMDAKaW5kZXgg MDAwMDAwMDAwMDAwLi4zNzY1OGViNTE1N2EKLS0tIC9kZXYvbnVsbAorKysgYi9zcmNwa2dzL2xp Ym1pbmlzYXQtZGV2ZWwKQEAgLTAsMCArMSBAQAorbWluaXNhdApcIE5vIG5ld2xpbmUgYXQgZW5k IG9mIGZpbGUKZGlmZiAtLWdpdCBhL3NyY3BrZ3MvbWluaXNhdC9wYXRjaGVzL2ZpeC1tdXNsLnBh dGNoIGIvc3JjcGtncy9taW5pc2F0L3BhdGNoZXMvZml4LW11c2wucGF0Y2gKbmV3IGZpbGUgbW9k ZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwLi4zYTI1ZDU5NjQzMTgKLS0tIC9kZXYvbnVsbAor KysgYi9zcmNwa2dzL21pbmlzYXQvcGF0Y2hlcy9maXgtbXVzbC5wYXRjaApAQCAtMCwwICsxLDQx IEBACitGcm9tIDRjOGFmY2Q2YmZiZjJjYmRiNWViZTI3MWYyMDUwM2E2ZDM0ZDdkNDkgTW9uIFNl cCAxNyAwMDowMDowMCAyMDAxCitGcm9tOiA9P1VURi04P3E/TWFjaWVqPTIwQmFyPUM0PTg3Pz0g PHhncXRAZ2VudG9vLm9yZz4KK0RhdGU6IE1vbiwgNiBGZWIgMjAyMyAxNzowOToxOCArMDEwMAor U3ViamVjdDogW1BBVENIXSB1dGlscy9TeXN0ZW0uKjogdXNlIGZwdV9jb250cm9sIG9ubHkgb24g Z2xpYmMKK01JTUUtVmVyc2lvbjogMS4wCitDb250ZW50LVR5cGU6IHRleHQvcGxhaW47IGNoYXJz ZXQ9VVRGLTgKK0NvbnRlbnQtVHJhbnNmZXItRW5jb2Rpbmc6IDhiaXQKKworQnVnOiBodHRwczov L2dpdGh1Yi5jb20vdnByb3Zlci92YW1waXJlL3B1bGwvNDMyCitTaWduZWQtb2ZmLWJ5OiBNYWNp ZWogQmFyxIcgPHhncXRAZ2VudG9vLm9yZz4KKy0tLQorIG1pbmlzYXQvdXRpbHMvU3lzdGVtLmNj IHwgMiArLQorIG1pbmlzYXQvdXRpbHMvU3lzdGVtLmggIHwgMiArLQorIDIgZmlsZXMgY2hhbmdl ZCwgMiBpbnNlcnRpb25zKCspLCAyIGRlbGV0aW9ucygtKQorCitkaWZmIC0tZ2l0IGEvbWluaXNh dC91dGlscy9TeXN0ZW0uY2MgYi9taW5pc2F0L3V0aWxzL1N5c3RlbS5jYworaW5kZXggMjgyZjk4 ZWQuLjExMjcwOGY3IDEwMDY0NAorLS0tIGEvbWluaXNhdC91dGlscy9TeXN0ZW0uY2MKKysrKyBi L21pbmlzYXQvdXRpbHMvU3lzdGVtLmNjCitAQCAtOTcsNyArOTcsNyBAQCBkb3VibGUgTWluaXNh dDo6bWVtVXNlZFBlYWsoYm9vbCAvKnN0cmljdGx5UGVhayovKSB7IHJldHVybiAwOyB9CisgCisg dm9pZCBNaW5pc2F0OjpzZXRYODZGUFVQcmVjaXNpb24oKQorIHsKKy0jaWYgZGVmaW5lZChfX2xp bnV4X18pICYmIGRlZmluZWQoX0ZQVV9FWFRFTkRFRCkgJiYgZGVmaW5lZChfRlBVX0RPVUJMRSkg JiYgZGVmaW5lZChfRlBVX0dFVENXKQorKyNpZiBkZWZpbmVkKF9fR0xJQkNfXykgJiYgZGVmaW5l ZChfRlBVX0VYVEVOREVEKSAmJiBkZWZpbmVkKF9GUFVfRE9VQkxFKSAmJiBkZWZpbmVkKF9GUFVf R0VUQ1cpCisgICAgIC8vIE9ubHkgY29ycmVjdCBGUFUgcHJlY2lzaW9uIG9uIExpbnV4IGFyY2hp dGVjdHVyZXMgdGhhdCBuZWVkcyBhbmQgc3VwcG9ydHMgaXQ6CisgICAgIGZwdV9jb250cm9sX3Qg b2xkY3csIG5ld2N3OworICAgICBfRlBVX0dFVENXKG9sZGN3KTsgbmV3Y3cgPSAob2xkY3cgJiB+ X0ZQVV9FWFRFTkRFRCkgfCBfRlBVX0RPVUJMRTsgX0ZQVV9TRVRDVyhuZXdjdyk7CitkaWZmIC0t Z2l0IGEvbWluaXNhdC91dGlscy9TeXN0ZW0uaCBiL21pbmlzYXQvdXRpbHMvU3lzdGVtLmgKK2lu ZGV4IGE1MWQ0YzJlLi4xODlmY2JmZiAxMDA2NDQKKy0tLSBhL21pbmlzYXQvdXRpbHMvU3lzdGVt LmgKKysrKyBiL21pbmlzYXQvdXRpbHMvU3lzdGVtLmgKK0BAIC0yMSw3ICsyMSw3IEBAIE9GIE9S IElOIENPTk5FQ1RJT04gV0lUSCBUSEUgU09GVFdBUkUgT1IgVEhFIFVTRSBPUiBPVEhFUiBERUFM SU5HUyBJTiBUSEUgU09GVFdBCisgI2lmbmRlZiBNaW5pc2F0X1N5c3RlbV9oCisgI2RlZmluZSBN aW5pc2F0X1N5c3RlbV9oCisgCistI2lmIGRlZmluZWQoX19saW51eF9fKQorKyNpZiBkZWZpbmVk KF9fR0xJQkNfXykKKyAjaW5jbHVkZSA8ZnB1X2NvbnRyb2wuaD4KKyAjZW5kaWYKKyAKZGlmZiAt LWdpdCBhL3NyY3BrZ3MvbWluaXNhdC9wYXRjaGVzL2ZyaWVuZC5wYXRjaCBiL3NyY3BrZ3MvbWlu aXNhdC9wYXRjaGVzL2ZyaWVuZC5wYXRjaApkZWxldGVkIGZpbGUgbW9kZSAxMDA2NDQKaW5kZXgg Njk1NjNmMWZlYzk2Li4wMDAwMDAwMDAwMDAKLS0tIGEvc3JjcGtncy9taW5pc2F0L3BhdGNoZXMv ZnJpZW5kLnBhdGNoCisrKyAvZGV2L251bGwKQEAgLTEsMjEgKzAsMCBAQAotLS0tIGEvY29yZS9T b2x2ZXJUeXBlcy5oCTIwMTAtMDctMTAgMTg6MDc6MzYuMDAwMDAwMDAwICswMjAwCi0rKysgYi9j b3JlL1NvbHZlclR5cGVzLmgJMjAyMC0wNS0yNyAxNDoxMjowOS4wMDU5Njk3NjkgKzAyMDAKLUBA IC00Niw4ICs0Niw4IEBACi0gc3RydWN0IExpdCB7Ci0gICAgIGludCAgICAgeDsKLSAKLSAgICAg Ly8gVXNlIHRoaXMgYXMgYSBjb25zdHJ1Y3RvcjoKLS0gICAgZnJpZW5kIExpdCBta0xpdChWYXIg dmFyLCBib29sIHNpZ24gPSBmYWxzZSk7Ci0rICAgIExpdCBta0xpdChWYXIgdmFyLCBib29sIHNp Z24gPSBmYWxzZSk7Ci0gCi0gICAgIGJvb2wgb3BlcmF0b3IgPT0gKExpdCBwKSBjb25zdCB7IHJl dHVybiB4ID09IHAueDsgfQotICAgICBib29sIG9wZXJhdG9yICE9IChMaXQgcCkgY29uc3QgeyBy ZXR1cm4geCAhPSBwLng7IH0KLUBAIC01NSw3ICs1NSw3IEBACi0gfTsKLSAKLSAKLS1pbmxpbmUg IExpdCAgbWtMaXQgICAgIChWYXIgdmFyLCBib29sIHNpZ24pIHsgTGl0IHA7IHAueCA9IHZhciAr IHZhciArIChpbnQpc2lnbjsgcmV0dXJuIHA7IH0KLStpbmxpbmUgIExpdCAgbWtMaXQgICAgIChW YXIgdmFyLCBib29sIHNpZ24gPSBmYWxzZSkgeyBMaXQgcDsgcC54ID0gdmFyICsgdmFyICsgKGlu dClzaWduOyByZXR1cm4gcDsgfQotIGlubGluZSAgTGl0ICBvcGVyYXRvciB+KExpdCBwKSAgICAg ICAgICAgICAgeyBMaXQgcTsgcS54ID0gcC54IF4gMTsgcmV0dXJuIHE7IH0KLSBpbmxpbmUgIExp dCAgb3BlcmF0b3IgXihMaXQgcCwgYm9vbCBiKSAgICAgIHsgTGl0IHE7IHEueCA9IHAueCBeICh1 bnNpZ25lZCBpbnQpYjsgcmV0dXJuIHE7IH0KLSBpbmxpbmUgIGJvb2wgc2lnbiAgICAgIChMaXQg cCkgICAgICAgICAgICAgIHsgcmV0dXJuIHAueCAmIDE7IH0KZGlmZiAtLWdpdCBhL3NyY3BrZ3Mv bWluaXNhdC90ZW1wbGF0ZSBiL3NyY3BrZ3MvbWluaXNhdC90ZW1wbGF0ZQppbmRleCBjNzFiNzA0 MTQ1YmIuLmMwZjVjZWRiNmJjMSAxMDA2NDQKLS0tIGEvc3JjcGtncy9taW5pc2F0L3RlbXBsYXRl CisrKyBiL3NyY3BrZ3MvbWluaXNhdC90ZW1wbGF0ZQpAQCAtMSwyNCArMSwzMyBAQAogIyBUZW1w bGF0ZSBmaWxlIGZvciAnbWluaXNhdCcKIHBrZ25hbWU9bWluaXNhdAotdmVyc2lvbj0yLjIuMAot cmV2aXNpb249MgotYnVpbGRfd3Jrc3JjPXNpbXAKLWJ1aWxkX3N0eWxlPWdudS1tYWtlZmlsZQor dmVyc2lvbj0yLjIuMQorcmV2aXNpb249MQorYnVpbGRfc3R5bGU9Y21ha2UKIG1ha2VkZXBlbmRz PSJ6bGliLWRldmVsIgotYXJjaHM9Imk2ODYgeDg2XzY0Igotc2hvcnRfZGVzYz0iQSBtaW5pbWFs aXN0aWMgYW5kIGhpZ2gtcGVyZm9ybWFuY2UgU0FUIHNvbHZlciIKK3Nob3J0X2Rlc2M9Ik1pbmlt YWxpc3RpYyBhbmQgaGlnaC1wZXJmb3JtYW5jZSBTQVQgc29sdmVyIgogbWFpbnRhaW5lcj0iVGFp IENoaSBNaW5oIFJhbHBoIEVhc3R3b29kIDx0Y21yZWFzdHdvb2RAZ21haWwuY29tPiIKIGxpY2Vu c2U9Ik1JVCIKIGhvbWVwYWdlPSJodHRwOi8vbWluaXNhdC5zZS9NaW5pU2F0Lmh0bWwiCi1kaXN0 ZmlsZXM9Imh0dHA6Ly9taW5pc2F0LnNlL2Rvd25sb2Fkcy9taW5pc2F0LSR7dmVyc2lvbn0udGFy Lmd6IgotY2hlY2tzdW09OTI5NTdkODUxY2RjM2JhZGRmZTA3YjVmYzgwZWQ1YTAyMzdjNDg5ZDBj NTJhZTcyZjYyODQ0YjNiNDZkNzgwOAorZGlzdGZpbGVzPSJodHRwczovL2dpdGh1Yi5jb20vc3Rw L21pbmlzYXQvYXJjaGl2ZS9yZWZzL3RhZ3MvcmVsZWFzZXMvJHt2ZXJzaW9ufS50YXIuZ3oiCitj aGVja3N1bT00MzI5ODU4MzM1OTY2NTNmY2Q2OThhYjQzOTU4ODQ3MWNjMGYyNDM3NjE3ZDBkZjJi YjE5MWEwMjUyYmE0MjNkCiAKLWRvX2J1aWxkKCkgewotCUNGTEFHUys9IiAtSSR7d3Jrc3JjfSIK LQltYWtlICR7bWFrZWpvYnN9IE1ST09UPSR7d3Jrc3JjfSByCitwb3N0X2luc3RhbGwoKSB7CisJ dmxpY2Vuc2UgTElDRU5TRQogfQogCi1kb19pbnN0YWxsKCkgewotCXZiaW4gbWluaXNhdF9yZWxl YXNlIG1pbmlzYXQKLQl2bGljZW5zZSAuLi9MSUNFTlNFCitsaWJtaW5pc2F0X3BhY2thZ2UoKSB7 CisJc2hvcnRfZGVzYys9IiAtIGxpYnJhcnkiCisJcGtnX2luc3RhbGwoKSB7CisJCXZtb3ZlICJ1 c3IvbGliLyouc28uKiIKKwl9Cit9CisKK2xpYm1pbmlzYXQtZGV2ZWxfcGFja2FnZSgpIHsKKwlk ZXBlbmRzPSJsaWJtaW5pc2F0Pj0ke3ZlcnNpb259XyR7cmV2aXNpb259IgorCXNob3J0X2Rlc2Mr PSIgLSBkZXZlbG9wbWVudCBmaWxlcyIKKwlwa2dfaW5zdGFsbCgpIHsKKwkJdm1vdmUgdXNyL2lu Y2x1ZGUKKwkJdm1vdmUgInVzci9saWIvKi5hIgorCQl2bW92ZSAidXNyL2xpYi8qLnNvIgorCX0K IH0K --===============9151373405919682721==--