Merge pull request #54 from bchretien/master

Add support for constant functions with any input size.
[travis] Synchronize submodule
[travis] Synchronize submodule
[travis] Synchronize submodule
Update README.md
Update README.md
Forward plugin name to Solver.

Implement #56.