5 ms·MonoSAT: An SMT solver for monotonic theories over Booleans and bitvectors1 points by luu 7y ago