Added simplification loop.
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sat, 4 Oct 2008 17:04:13 +0000 (17:04 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Sat, 4 Oct 2008 17:04:13 +0000 (17:04 +0000)
commit1e55edf5bc39624d95f8b16ab13084cbe37b7f35
tree5d8f76218ae8e880fee2bdfce6253d30e41d9820
parent68197db43d61ab06608f2a957a504b6621e9c00a
Added simplification loop.

[r22478]
heuristical.c