See https://groups.google.com/forum/#!topic/minisat/FCocZsC8oMQ
This seems to only be a problem with newer versions of g++, and
upstream development seems to have stopped in 2013.

diff -rupN minisat-2.2.0/core/SolverTypes.h minisat-2.2.0.patched/core/SolverTypes.h
--- a/minisat/core/SolverTypes.h	2010-07-10 17:07:36.000000000 +0100
+++ b/minisat/core/SolverTypes.h	2014-03-29 11:57:49.000000000 +0000
@@ -47,7 +47,7 @@ struct Lit {
     int     x;

     // Use this as a constructor:
-    friend Lit mkLit(Var var, bool sign = false);
+    //friend Lit mkLit(Var var, bool sign = false);

     bool operator == (Lit p) const { return x == p.x; }
     bool operator != (Lit p) const { return x != p.x; }
@@ -55,7 +55,7 @@ struct Lit {
 };


-inline  Lit  mkLit     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
+inline  Lit  mkLit     (Var var, bool sign = false) { Lit p; p.x = var + var + (int)sign; return p; }
 inline  Lit  operator ~(Lit p)              { Lit q; q.x = p.x ^ 1; return q; }
 inline  Lit  operator ^(Lit p, bool b)      { Lit q; q.x = p.x ^ (unsigned int)b; return q; }
 inline  bool sign      (Lit p)              { return p.x & 1; }
34d7fa58edce071292050a3553081bcd3b5e180e'>tree</a><a href='/guix/commit/po?id=34d7fa58edce071292050a3553081bcd3b5e180e'>commit</a><a href='/guix/diff/po?id=34d7fa58edce071292050a3553081bcd3b5e180e'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/po'>
<input type='hidden' name='id' value='34d7fa58edce071292050a3553081bcd3b5e180e'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=34d7fa58edce071292050a3553081bcd3b5e180e'>root</a>/<a href='/guix/log/po?id=34d7fa58edce071292050a3553081bcd3b5e180e'>po</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/po?id=34d7fa58edce071292050a3553081bcd3b5e180e&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2024-02-29 22:57:09 +0100'>2024-02-29</span></td><td><a href='/guix/commit/po?id=956f44b931f050fbffca51737000b9049808b3ca'>nls: Update translations.</a><span class='msg-avail'>...</span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2024-02-01 18:34:22 +0100'>2024-02-01</span></td><td><a href='/guix/commit/po?id=6f78803b01d416ab421ba860751b764b9e4f33db'>nls: Update translations.</a><span class='msg-avail'>...</span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2024-01-28 22:50:49 +0100'>2024-01-28</span></td><td><a href='/guix/commit/po?id=2f67528edd2d7669b441f61cb36d1b0f4f60bdb9'>home: Add home-dotfiles-service.</a><span class='msg-avail'>...</span></td><td>Giacomo Leidi</td></tr>
<tr><td><span title='2024-01-01 00:45:47 +0100'>2024-01-01</span></td><td><a href='/guix/commit/po?id=86b5fa100992527c434616482ba9cfd92b636d12'>nls: Update translations.</a><span class='msg-avail'>...</span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2023-12-01 08:39:57 +0100'>2023-12-01</span></td><td><a href='/guix/commit/po?id=efe1a9c9ac21c944287e6ec50b57a9f2c5db588e'>nls: Update translations.</a><span class='msg-avail'>...</span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2023-10-31 23:01:37 +0100'>2023-10-31</span></td><td><a href='/guix/commit/po?id=938a47c86d7bea785f33f42834c5c1f3dfa594b0'>nls: Update translations.</a><span class='msg-avail'>...</span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2023-10-05 23:14:54 +0200'>2023-10-05</span></td><td><a href='/guix/commit/po?id=3d4d7fec05a8bdb0764a37515bb7c739b1094ab5'>doc: Fix channel name typo.</a><span class='msg-avail'>...</span></td><td>Nikolaos Chatzikonstantinou</td></tr>
<tr><td><span title='2023-09-30 19:34:32 +0200'>2023-09-30</span></td><td><a href='/guix/commit/po?id=8027ee43373638e0773fec3532c1a13d3da95b6a'>nls: Update translations.</a></td><td>Florian Pelz</td></tr>
<tr><td><span title='2023-08-31 21:36:03 +0200'>2023-08-31</span></td><td><a href='/guix/commit/po?id=57ab9536db20f98a36aeb25972137fbd752686cc'>nls: Update translations.</a></td><td>Florian Pelz</td></tr>
<tr><td><span title='2023-07-31 21:08:46 +0200'>2023-07-31</span></td><td><a href='/guix/commit/po?id=39fbc041f92489ec30075a85937c8a38723752dc'>nls: Update translations.</a></td><td>Florian Pelz</td></tr>
<tr><td><span title='2023-06-30 14:26:07 +0200'>2023-06-30</span></td><td><a href='/guix/commit/po?id=8af22b493199a17f46351c2f3d9f6ee759e48564'>nls: Update translations.</a><span class='msg-avail'>...</span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2023-06-18 23:44:29 +0200'>2023-06-18</span></td><td><a href='/guix/commit/po?id=1b7aabbc79969a89141aadd3d41d7a5329a3462e'>Add 'guix locate'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2023-05-31 22:47:04 +0200'>2023-05-31</span></td><td><a href='/guix/commit/po?id=60895810ad5ef5867eb97aa82b2d43d6cb28944d'>nls: Update translation keys for guix gc.</a><span class='msg-avail'>...</span></td><td>Remco van 't Veer</td></tr>
<tr><td><span title='2023-05-31 17:23:21 +0200'>2023-05-31</span></td><td><a href='/guix/commit/po?id=8e9e6a6482f3ba98d1cdcad344ee488e8751fee7'>nls: Update translations.</a><span class='msg-avail'>...</span></td><td>Florian Pelz</td></tr>