| commit | 275c3ec9c876cc0f504fa798bc67a3c281cf8578 | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Tue, 8 May 2012 09:29:06 +0000 (8 10:29 +0100) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Tue, 8 May 2012 09:30:26 +0000 (8 10:30 +0100) | ||
| tree | ec1354399ab075b00dd65077fdda5ab2589b16a3 | treesnapshot (tar.gz zip) |
| parent | 0a5310820ae2d2b2b2de3e0ce9f641ca07273ebd | commitdiff |
Added SATSolver.justify_choice
This is helpful when trying to understand why something wasn't chosen.
This is helpful when trying to understand why something wasn't chosen.