Comments on: SMT-RAT: An SMT-Compliant Non-linear Real Arithmetic Toolbox

Comments on: SMT-RAT: An SMT-Compliant Non-linear Real Arithmetic Toolbox http://www.algosyn.rwth-aachen.de hourly 1 http://wordpress.org/?v=3.6.1