MonoSAT: An SMT solver for monotonic theories over Booleans and bitvectorscs.ubc.ca1 pointluu6 years ago