Post

gabby: you would probably think "I can reason easily about boolean values using a boolean solver!" but you would be wrong