Make satisfiable work on instances of bool
Merge pull request #2533 from asmeurer/satisfiable_bool

Make satisfiable work on instances of bool