Change to hit proxy server rather than hit the real API server directly.
Merge branch 'master' of github.com:ohkura/kaomoji
Rollback the api swtich for now.
Merge branch 'master' of github.com:ohkura/kaomoji
API server switch again :)
Make Remote.fetch_train retries to fetch training data until it get's satisfactory one.
Merge branch 'master' of github.com:ohkura/kaomoji
Wrote solver
Add latest problems.json
Merge branch 'master' of https://github.com/ohkura/kaomoji
Workaround for parsing problems with "bonus" in ops.
Decreased the number of possible program lines
Merge branch 'master' of github.com:ohkura/kaomoji
Fix issues around train_fetch.
Merge branch 'master' of https://github.com/ohkura/kaomoji
Change the #candidate limit to 10M.
Compress expressions and filter out duplicated ones.
Add more simplification rules.
Brute.gen2
brute.ml resolve