© 2014 by Travis Hance, Jean Yang, and Ariel Jacobs. 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.