GitHub - msoos/cryptominisat_build: Build scripts for cryptominisat

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 215 Commits
afl/testcase_dir		afl/testcase_dir
.gitignore		.gitignore
6s17-opt.cnf.gz		6s17-opt.cnf.gz
UTI-20-10p0.cnf.gz		UTI-20-10p0.cnf.gz
build_afl.sh		build_afl.sh
build_clang.sh		build_clang.sh
build_clang_coverage.sh		build_clang_coverage.sh
build_clang_scan.sh		build_clang_scan.sh
build_clang_slowdebug.sh		build_clang_slowdebug.sh
build_clang_static.sh		build_clang_static.sh
build_clang_stats.sh		build_clang_stats.sh
build_coverage.sh		build_coverage.sh
build_debug.sh		build_debug.sh
build_docker.sh		build_docker.sh
build_empscripten.sh		build_empscripten.sh
build_final_predictor.sh		build_final_predictor.sh
build_final_predictor_branchtoo.sh		build_final_predictor_branchtoo.sh
build_final_predictor_debug.sh		build_final_predictor_debug.sh
build_final_predictor_sanitize.sh		build_final_predictor_sanitize.sh
build_final_predictor_static.sh		build_final_predictor_static.sh
build_gpu.sh		build_gpu.sh
build_ipasir.sh		build_ipasir.sh
build_ipasir_static.sh		build_ipasir_static.sh
build_large_mem.sh		build_large_mem.sh
build_mit.sh		build_mit.sh
build_nopython.sh		build_nopython.sh
build_norm.sh		build_norm.sh
build_nosqlite.sh		build_nosqlite.sh
build_notest.sh		build_notest.sh
build_nozlib.sh		build_nozlib.sh
build_python2.sh		build_python2.sh
build_release.sh		build_release.sh
build_sanitize.sh		build_sanitize.sh
build_slowdebug.sh		build_slowdebug.sh
build_static.sh		build_static.sh
build_static_largemem.sh		build_static_largemem.sh
build_static_nopython.sh		build_static_nopython.sh
build_static_release.sh		build_static_release.sh
build_stats.sh		build_stats.sh
build_stats_debug.sh		build_stats_debug.sh
build_stats_sanitize.sh		build_stats_sanitize.sh
build_stats_static.sh		build_stats_static.sh
build_valgrind.sh		build_valgrind.sh
build_verbose.sh		build_verbose.sh
check_gauss.py		check_gauss.py
check_preprocess.sh		check_preprocess.sh
drat_test.cnf		drat_test.cnf
drat_test2.cnf		drat_test2.cnf
fuzz_test_sanitize.sh		fuzz_test_sanitize.sh
mizh-md5-47-3.cnf.gz		mizh-md5-47-3.cnf.gz
mycopy-back.sh		mycopy-back.sh
mycopy.sh		mycopy.sh
test_id.cnf		test_id.cnf
test_klee.sh		test_klee.sh