Commits in opensuse/sat-solver-moved-to-github:master