Jannis Harder
|
99c3d48f10
|
Several speed optimizations
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@438 72836036-5685-4462-b002-a69064685172
|
2011-06-14 17:48:26 +02:00 |
|
Jannis Harder
|
0a63df955e
|
Cache propagators
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@437 72836036-5685-4462-b002-a69064685172
|
2011-06-14 17:48:24 +02:00 |
|
Jannis Harder
|
7568f37824
|
Added TurnLogic with rule variables and constraints
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@436 72836036-5685-4462-b002-a69064685172
|
2011-06-14 17:48:22 +02:00 |
|