diff options
author | 2019-06-05 14:28:59 -0400 | |
---|---|---|
committer | 2019-06-05 14:28:59 -0400 | |
commit | b58804680cedf3e1c75c824636a23cdb0bed6fcd (patch) | |
tree | 641974cae5993556010325bd48f491f80818cc15 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage | |
parent | clean up metric directory (diff) | |
download | VIATRA-Generator-b58804680cedf3e1c75c824636a23cdb0bed6fcd.tar.gz VIATRA-Generator-b58804680cedf3e1c75c824636a23cdb0bed6fcd.tar.zst VIATRA-Generator-b58804680cedf3e1c75c824636a23cdb0bed6fcd.zip |
add hill climbing to best first strategy
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage')
0 files changed, 0 insertions, 0 deletions