smtcomp-cloud-2021

This will be the STP SMT Competition 2021 code with CryptoMiniSat

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
Dockerfile		Dockerfile
README.md		README.md
cryptominisat-devel-2b42ab22805ab5d2fc9bc8d0e3c6c63f3e0e04d4.zip		cryptominisat-devel-2b42ab22805ab5d2fc9bc8d0e3c6c63f3e0e04d4.zip
cryptominisat-devel-ed346b7b0b122498b385ed29b16d209e1b18e235.zip		cryptominisat-devel-ed346b7b0b122498b385ed29b16d209e1b18e235.zip
m4ri-20200125.tar.gz		m4ri-20200125.tar.gz
make_combined_hostfile.py		make_combined_hostfile.py
minisat-master-37158a35c62d448b3feccfa83006266e12e5acb7.zip		minisat-master-37158a35c62d448b3feccfa83006266e12e5acb7.zip
mizh-md5-47-3.cnf		mizh-md5-47-3.cnf
mpi-run.sh		mpi-run.sh
square.smt2		square.smt2
stp-msoos-no-const-as-macro-0535cb5f6a083471e8b588b6aa814073e6425deb.zip		stp-msoos-no-const-as-macro-0535cb5f6a083471e8b588b6aa814073e6425deb.zip
stp-msoos-no-const-as-macro-2-597d07a29ad2e5b1964e66bcbba9883fa94e85a4.zip		stp-msoos-no-const-as-macro-2-597d07a29ad2e5b1964e66bcbba9883fa94e85a4.zip
stp-msoos-no-const-as-macro-2-dc66202ad12ee88fc427e0bdf22240047366efb8.zip		stp-msoos-no-const-as-macro-2-dc66202ad12ee88fc427e0bdf22240047366efb8.zip

Provide feedback