Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
cert_cadical.sh		cert_cadical.sh
cert_crypto4.sh		cert_crypto4.sh
cert_crypto5.sh		cert_crypto5.sh
cert_glucose.sh		cert_glucose.sh
cert_maple_lcm_dist.sh		cert_maple_lcm_dist.sh
cert_riss_bva.sh		cert_riss_bva.sh
default_config.sh		default_config.sh
satans-cert		satans-cert

README.md

Executables

satans-cert should point to a valid binary executable. If this is not the case, then you should run make -C ../ocaml
cert-*.sh are simple bash scripts that invokes satans-cert in order to wrap a given sat-solver.