This distribution of the ri-trie/pi-trie compiler prototype will take several common file formats for boolean formula. The generated tries can be saved as files and queried as needed using the included tool.

Further documentation is included in the package in the form of a readme file, with instructions on how to call the executable JAR file on the command line.

ritrie-java.tar.gz
ritrie-java.zip