© 2014 by Travis Hance and Jean Yang. Powered by Jeeves/Django and the Z3 SMT solver on Amazon EC2.
Our EC2 instance runs Ubuntu 13.10 on a 64-bit Intel(R) Xeon(R) CPU E5-2650 0 @ 2.00GHz processor.