malte_langkabel 70997adc9c logic: greatly improved Java indexing performance ...

* about 120% faster now
* also fixed minor synchronization issues

2017-08-17 13:28:00 +02:00

..

java-symbol-solver-core.jar

logic: greatly improved Java indexing performance

2017-08-17 13:28:00 +02:00

java-symbol-solver-logic.jar

logic: greatly improved Java indexing performance

2017-08-17 13:28:00 +02:00

java-symbol-solver-model.jar

logic: greatly improved Java indexing performance

2017-08-17 13:28:00 +02:00