make the toysolver library 'exposed', since all modules are under ToySolver.* now