Jihoon Son a6790ff22a More optimize CNF conversion of filters (#9634) ... * More optimize CNF conversion of filters * update license * fix build * checkstyle * remove unnecessary code * split helper * license * checkstyle * add comments on cnf conversion		2020-04-08 21:31:17 -07:00
..
src	More optimize CNF conversion of filters (#9634)	2020-04-08 21:31:17 -07:00
pom.xml	Bump up development version to 0.19.0-SNAPSHOT (#9586)	2020-03-30 16:24:04 -07:00