3 ms·

I gather they are used by some forms of program verification software. Beyond that, I dunno.

• jethroalias97 15y ago
  Although these days that industry is moving towards sat solvers.