diff options
author | Tim King <taking@cs.nyu.edu> | 2013-05-09 14:33:35 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2013-05-09 16:31:11 -0400 |
commit | 588468e4800d790aecd35725c123d21f3e7a86ae (patch) | |
tree | 3732e3bb7a6d7a8cad818651b3b18a15a55256ff /src/decision/justification_heuristic.h | |
parent | 85377f73a331b334437aa0d50d15c81e905869c1 (diff) |
Changing the integer normal form to increase matching.
Diffstat (limited to 'src/decision/justification_heuristic.h')
0 files changed, 0 insertions, 0 deletions