Added constraint requiring exactly N different hueristic
applications if N steps are requested
Added some constraints to avoid redundancies in
polynomial representations
Changed visualizer for json output
renamed selectedHeuristic
updated dag generation: added iterative deepening too
Refactored eqnString generation to make graph labels shorter
Fixed minor bug with redundantStep/1 predicate
renamed problem generator file
Moved prob_generation includes to a separate file
Changed prob_generator to use startTime/1 pred
instead of 'initially'
Added contrasting cases file
Added differencePenalty code
Added nodeDiff/2 predicate
changed minimize statement to capture sum in a predicate
Added sameStep predicate
Added code to generate contrasting cases
Minor changes to ignore file and solvability
Added 'flag' predicate to disable solvability
Bug-fixed how default heuristics are generated
Began updating tests to use heuristics