diff options
| author | Paul Jungeblut <paul.jungeblut@gmail.com> | 2016-11-13 23:46:50 +0100 |
|---|---|---|
| committer | Paul Jungeblut <paul.jungeblut@gmail.com> | 2016-11-13 23:46:50 +0100 |
| commit | b209049ab3e8dde0f81074f7081ddaea57463417 (patch) | |
| tree | 51dd2f32b28950ed4b3a3472d473fbcdc7b0ae5f /graph/2sat.cpp | |
| parent | ec035ec7395db153834b8ba96b2ce54b597483b0 (diff) | |
Correcting small type in matching code.
Diffstat (limited to 'graph/2sat.cpp')
0 files changed, 0 insertions, 0 deletions