summaryrefslogtreecommitdiff
path: root/data/partition_8_walls
diff options
context:
space:
mode:
authornatrixaeria <upezu@student.kit.edu>2020-01-20 15:07:38 +0100
committernatrixaeria <upezu@student.kit.edu>2020-01-20 15:07:38 +0100
commit0bb7242309483725f782d63593ae0d2d3da8b984 (patch)
tree19fb2360c0bfd078bb84a7758eac82371672f9c0 /data/partition_8_walls
parent41b495d23cd0772811b424a9a006de8b22de7cb4 (diff)
Add optimized sorting preferences to bwinf solver
Diffstat (limited to 'data/partition_8_walls')
0 files changed, 0 insertions, 0 deletions