![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ComparisonConverter.java | 2018-03-18 22:40 | 23K | |
| Converter.java | 2018-03-18 21:12 | 24K | |
| DefinitionConverter.java | 2013-11-21 14:49 | 9.8K | |
| ExpressionOptimizer.java | 2012-11-09 16:52 | 12K | |
| GlobalConverter.java | 2013-10-14 00:20 | 17K | |
| Simplifier.java | 2015-01-31 15:57 | 3.7K | |