diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-14 12:25:07 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-14 12:25:14 +0100 |
| commit | 83c0e6c14955e04b3dca56037508e4ceb6691f10 (patch) | |
| tree | 3e242ad90f0e34d03888e78267a4afe59e8a4ce3 /config/readline.m4 | |
| parent | f48855b3f7ebff4d6de916d6e433b3949afdbd1b (diff) | |
Be lazier to consider EQC in UF+cardinality solver. Minor cleanup.
Diffstat (limited to 'config/readline.m4')
0 files changed, 0 insertions, 0 deletions