jruoho 61564b38a1 Note the ambiguity of the return value in the BUGS section.
From Christian Biere <christianbiere@gmx.de> in PR #39392.
2010-04-29 10:03:12 +00:00
..
2009-12-14 01:00:46 +00:00
2009-12-13 08:25:20 +00:00
2009-12-13 08:25:20 +00:00
2009-10-23 15:41:58 +00:00
2010-04-01 09:57:00 +00:00
2010-03-22 21:56:05 +00:00