checkmate is hosted by Hepforge, IPPP Durham

checkmate Downloads

Refresh

Directory: /

Type File Name File Size
PDF File manual-1.1.0.pdf 3.54 MB
GZ File ExampleFilesForCheckMATE2Manual.tar.gz 225.97 MB
GZ File CheckMATEbeta-2.0.7.tar.gz 4.28 MB
GZ File CheckMATEbeta-2.0.6.tar.gz 4.27 MB
GZ File CheckMATEbeta-2.0.5.tar.gz 4.27 MB
GZ File CheckMATEbeta-2.0.4.tar.gz 4.27 MB
GZ File CheckMATEbeta-2.0.3.tar.gz 4.26 MB
GZ File CheckMATEbeta-2.0.26.tar.gz 4.5 MB
GZ File CheckMATEbeta-2.0.24.tar.gz 4.5 MB
GZ File CheckMATEbeta-2.0.23.tar.gz 4.43 MB
GZ File CheckMATEbeta-2.0.22.tar.gz 4.42 MB
GZ File CheckMATEbeta-2.0.21.tar.gz 4.43 MB
GZ File CheckMATEbeta-2.0.2.tar.gz 4.24 MB
GZ File CheckMATEbeta-2.0.18.tar.gz 4.24 MB
GZ File CheckMATEbeta-2.0.17.tar.gz 4.23 MB
GZ File CheckMATEbeta-2.0.14.tar.gz 4.23 MB
GZ File CheckMATEbeta-2.0.13.tar.gz 4.21 MB
GZ File CheckMATEbeta-2.0.12.tar.gz 4.2 MB
GZ File CheckMATEbeta-2.0.11.tar.gz 4.28 MB
GZ File CheckMATEbeta-2.0.1.tar.gz 1.7 MB
GZ File CheckMATEbeta-2.0.0.tar.gz 2.43 MB
GZ File CheckMATEbeta-1.2.2.tar.gz 2.16 MB
GZ File CheckMATEbeta-1.2.1.tar.gz 2.12 MB
GZ File CheckMATEbeta-1.2.0.tar.gz 2.11 MB
GZ File CheckMATEbeta-1.1.9.tar.gz 2.02 MB
GZ File CheckMATEbeta-1.1.8.tar.gz 2.02 MB
GZ File CheckMATEbeta-1.1.7.tar.gz 2.29 MB
GZ File CheckMATEbeta-1.1.16.tar.gz 2.09 MB
GZ File CheckMATEbeta-1.1.15.tar.gz 2.09 MB
GZ File CheckMATEbeta-1.1.14.tar.gz 2.09 MB
GZ File CheckMATEbeta-1.1.13.tar.gz 2.09 MB
GZ File CheckMATEbeta-1.1.10.tar.gz 2.03 MB
GZ File CheckMATE-Current.tar.gz 4.46 MB
GZ File CheckMATE-2.0.7.tar.gz 4.28 MB
GZ File CheckMATE-2.0.6.tar.gz 4.27 MB
GZ File CheckMATE-2.0.5.tar.gz 4.26 MB
GZ File CheckMATE-2.0.4.tar.gz 4.27 MB
GZ File CheckMATE-2.0.3.tar.gz 4.26 MB
GZ File CheckMATE-2.0.26.tar.gz 4.46 MB
GZ File CheckMATE-2.0.24.tar.gz 4.46 MB
GZ File CheckMATE-2.0.23.tar.gz 4.39 MB
GZ File CheckMATE-2.0.22.tar.gz 4.38 MB
GZ File CheckMATE-2.0.21.tar.gz 4.38 MB
GZ File CheckMATE-2.0.2.tar.gz 4.24 MB
GZ File CheckMATE-2.0.18.tar.gz 4.22 MB
GZ File CheckMATE-2.0.17.tar.gz 4.21 MB
GZ File CheckMATE-2.0.14.tar.gz 4.2 MB
GZ File CheckMATE-2.0.11.tar.gz 4.28 MB
GZ File CheckMATE-2.0.1.tar.gz 1.7 MB
GZ File CheckMATE-2.0.0.tar.gz 2.46 MB
GZ File CheckMATE-1.2.2.tar.gz 2.16 MB
GZ File CheckMATE-1.2.1.tar.gz 2.12 MB
GZ File CheckMATE-1.2.0.tar.gz 2.11 MB
GZ File CheckMATE-1.1.9.tar.gz 1.97 MB
GZ File CheckMATE-1.1.8.tar.gz 1.97 MB
GZ File CheckMATE-1.1.6.tar.gz 1.97 MB
GZ File CheckMATE-1.1.16.tar.gz 2.01 MB
GZ File CheckMATE-1.1.15.tar.gz 2.01 MB
GZ File CheckMATE-1.1.14.tar.gz 2.01 MB
GZ File CheckMATE-1.1.13.tar.gz 2.01 MB
GZ File CheckMATE-1.1.11.tar.gz 1.97 MB
GZ File CheckMATE-1.1.10.tar.gz 1.97 MB
GZ File CheckMATE-1.0.2.tar.gz 2.23 MB