diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-09 23:11:20 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-04-09 23:11:20 +0200 |
commit | ec11efe9e0c3863be32e740b28e124499ad653f9 (patch) | |
tree | 7e4c5b1c6d501aa3ac53e66546a1625f91d11572 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/xtend-gen | |
parent | Fix solution store for optimization (diff) | |
download | VIATRA-Generator-ec11efe9e0c3863be32e740b28e124499ad653f9.tar.gz VIATRA-Generator-ec11efe9e0c3863be32e740b28e124499ad653f9.tar.zst VIATRA-Generator-ec11efe9e0c3863be32e740b28e124499ad653f9.zip |
Make diversity checking work with optimization
Proof of concept implementation, mixing diversity checking and optimization
may not be very effective in practice
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.ui/xtend-gen')
0 files changed, 0 insertions, 0 deletions