SimpleBDD is a multi-platform binary decision library