SMT solvers can find fitting formulae from examples.
Merge branch 'master' of github.com:nushio3/practice