http://www.lxcat.net/home/ 1.00 http://www.lxcat.net/contributors/ 0.99 http://www.lxcat.net/home/team.php 0.98 http://www.lxcat.net/home/statistics.php 0.97 http://www.lxcat.net/data/ 0.90 http://www.lxcat.net/data/download.php 0.89 http://www.lxcat.net/solvers/ 0.88 http://www.lxcat.net/notes/ 0.80 http://www.lxcat.net/discussion_board.php 0.75