Fábio Ferreira

This adds Chromecast support. It is based on an older legacy commit [https://github.com/lrorpilla/jidoujisho/commit/3e7f956e8bdce9d3f6371e92c111ac395311139f](https://github.com/lrorpilla/jidoujisho/commit/3e7f956e8bdce9d3f6371e92c111ac395311139f).

Hi, I attempted to run solver.check() using the Java API and (check-sat) in commandline-tool to compare the runtimes. I understand that the Java API may be slightly slower than commandline-tool,...