├── 2000 ├── Asat.build.sh ├── dr.build.sh ├── setup.json └── solvers.json ├── 2002 ├── generate-raw-json.sh ├── setup.json └── solvers.json ├── 2003 ├── setup.json └── solvers.json ├── 2004 ├── build.sh ├── fixtures │ ├── frankensat-high.post_build.sh │ ├── frankensat-low.post_build.sh │ └── walksatauto.post_build.sh ├── install.sh ├── setup.json └── solvers.json ├── 2005 ├── build.sh ├── install.sh ├── setup.json └── solvers.json ├── 2007 ├── fixtures │ ├── barcelogic.install.sh │ ├── kcnfs-2004.build.sh │ ├── minisat-sat_2007.build.sh │ ├── mxc.pre_build.sh │ ├── rsat.post_build.sh │ ├── satzilla-crafted.build.sh │ ├── satzilla-crafted.install.sh │ ├── satzilla-full.build.sh │ ├── satzilla-full.install.sh │ ├── satzilla-random.build.sh │ ├── satzilla-random.install.sh │ ├── tinisatelite.TiniSatELite │ └── tinisatelite.install.sh ├── setup.json ├── solvers.json └── src │ ├── descriptions │ └── parse_descriptions.py ├── 2009 ├── fixtures │ ├── circus.pre_build.sh │ ├── clasp.build.sh │ ├── hydrasat-multi.install.sh │ ├── lysat-c.build.sh │ ├── manysat_1.1-aimd_0.build.sh │ ├── manysat_1.1-aimd_0.install.sh │ ├── manysat_1.1-aimd_1.build.sh │ ├── manysat_1.1-aimd_1.install.sh │ ├── manysat_1.1-aimd_2.build.sh │ ├── manysat_1.1-aimd_2.install.sh │ ├── minisat_09z.build.sh │ ├── minisat_09z.post_build.sh │ ├── mxc.build.sh │ ├── sapperlot-base.build.sh │ ├── sat4j-core.build.sh │ ├── sat4j-core.install.sh │ ├── satake.pre_build.sh │ ├── satzilla2009_c.build.sh │ ├── satzilla2009_c.install.sh │ ├── satzilla2009_i.build.sh │ ├── satzilla2009_i.install.sh │ ├── satzilla2009_r.build.sh │ ├── satzilla2009_r.install.sh │ ├── varsat-crafted.build.sh │ ├── varsat-industrial.build.sh │ └── varsat-random.build.sh ├── setup.json ├── solvers.json └── src │ ├── descriptions │ └── parse_descriptions.py ├── 2011 ├── fixtures │ └── black_hole_sat.pre_build.sh ├── setup.json ├── solvers.json └── src │ ├── descriptions │ └── parse_descriptions.py ├── 2013 ├── build.sh ├── fixtures │ ├── dimetheusmps.build.sh │ ├── glueminisat-cert-unsat.post_build.sh │ ├── lingeling_587f.build.sh │ ├── lingeling_aqw.build.sh │ ├── minipure.pre_build.sh │ ├── plingeling.build.sh │ ├── rseq.pre_build.sh │ ├── sattimerelbackseq.build.sh │ ├── solver43a.pre_build.sh │ ├── solver43b.pre_build.sh │ └── treengeling.build.sh ├── gen-json.py ├── install.sh ├── setup.json └── solvers.json ├── 2014 ├── auto-setup.json ├── auto-solvers.json ├── build.sh ├── fixtures │ ├── ccgscore.pre_build.sh │ ├── dimetheus.build.sh │ ├── rokk.post_build.sh │ └── rokk_sat.post_build.sh ├── gen-json.py ├── install.sh ├── setup.json └── solvers.json ├── 2016 ├── fixtures │ ├── MapleCMS.pre_build.sh │ ├── Splatz06vmain.pre_build.sh │ ├── beansandeggs.pre_build.sh │ ├── chbr_glucose.post_build.sh │ ├── chbr_glucose_tuned.post_build.sh │ ├── cmsat5_agile.pre_build.sh │ ├── cmsat5_autotune2.pre_build.sh │ ├── cmsat5_main2.pre_build.sh │ ├── cmsat5_run_parallel.pre_build.sh │ ├── cominisatpschandrasekhardrup.pre_build.sh │ ├── glucose_hack_kiel.post_build.sh │ ├── lingeling.pre_build.sh │ ├── tb_glucose.post_build.sh │ ├── tc_glucose.post_build.sh │ └── yalsat03r.pre_build.sh ├── setup.json └── solvers.json ├── 2017 ├── fixtures │ ├── CandyRSILi.pre_build.sh │ ├── CandyRSILv.pre_build.sh │ ├── CandySL21.pre_build.sh │ ├── bs_glucose.post_build.sh │ ├── cadical-sc17-agile-proof.pre_build.sh │ ├── cadical-sc17-proof.pre_build.sh │ ├── ccspenelope.pre_build.sh │ ├── ddc-submit.build.sh │ ├── lingeling-bbe.pre_build.sh │ ├── riss7.build.sh │ ├── scalope.pre_build.sh │ ├── tch_glucose1.post_build.sh │ ├── tch_glucose2.post_build.sh │ ├── tch_glucose3.post_build.sh │ └── yalsat.build.sh ├── setup.json └── solvers.json ├── 2018 ├── fixtures │ ├── CaDiCaL.pre_build.sh │ ├── Lingeling.pre_build.sh │ ├── MapleCOMSPS_LRB_VSIDS_2_drup.pre_build.sh │ ├── Maple_LCM_Scavel.pre_build.sh │ ├── Maple_LCM_Scavel_200.pre_build.sh │ ├── Riss7.1.pre_build.sh │ ├── Sparrow2Riss-2018.pre_build.sh │ ├── YalSAT.pre_build.sh │ ├── abcd_para18.build.sh │ ├── cms55-main-all4fixed.pre_build.sh │ ├── ddc-submit18.build.sh │ ├── glucose4.2.1.pre_build.sh │ ├── hordesat.build.sh │ ├── penelope_mdcl.build.sh │ └── varisat.pre_build.sh ├── setup.json └── solvers.json ├── 2019 ├── fixtures │ ├── CaDiCaL.pre_build.sh │ ├── Lingeling.pre_build.sh │ ├── MapleLCMDistChronoBT-DL-v1.pre_build.sh │ ├── expMaple_CM_GCBump.pre_build.sh │ ├── expMaple_CM_GCBumpOnlyLRB.pre_build.sh │ ├── maple-lcmdistchronobtvariablereindexing.install.sh │ ├── mergesat.build.sh │ ├── riss7.1.build.sh │ └── sparrowtomergesat.build.sh ├── setup.json └── solvers.json ├── 2020 ├── fixtures │ ├── CaDiCaL-sc2020.pre_build.sh │ ├── ExMapleLCMDistChronoBT.post_build.sh │ ├── Kissat-sc2020-default.pre_build.sh │ ├── Kissat-sc2020-sat.pre_build.sh │ ├── Kissat-sc2020-unsat.pre_build.sh │ ├── cadical-alluip-trail.post_build.sh │ ├── cadical-alluip-trail.pre_build.sh │ ├── cadical-alluip.post_build.sh │ └── cadical-alluip.pre_build.sh ├── setup.json └── solvers.json ├── 2021 ├── fixtures │ ├── cadical_scavel01.install.sh │ ├── cadical_scavel01.pre_build.sh │ ├── cadical_scavel02.install.sh │ ├── cadical_scavel02.pre_build.sh │ ├── cleanmaple.build.sh │ ├── cleanmaple_pripro.build.sh │ ├── hcad.build.sh │ ├── hcad.install.sh │ ├── kissat_bonus.install.sh │ ├── kissat_cf.install.sh │ ├── lstech_maple.build.sh │ ├── maple_mbdr_bjl7_local.build.sh │ ├── maple_mbdr_cent_perm_10k.build.sh │ ├── maple_mbdr_cent_perm_75k.build.sh │ ├── maple_simp21.build.sh │ ├── optsat_m21.build.sh │ ├── optsat_r21.build.sh │ ├── relaxed_lcftp.build.sh │ ├── relaxed_lcftp_v2.build.sh │ ├── relaxed_lcftp_v3.build.sh │ ├── relaxed_lcmdcmdl_blb.build.sh │ ├── relaxed_lcmdcmdl_scavel01.build.sh │ ├── relaxed_lcmdcmdl_scavel02.build.sh │ └── slime.pre_build.sh ├── setup.json └── solvers.json ├── .github └── workflows │ ├── docker-push.yml │ ├── docker-sync.yml │ ├── list-docker-images.py │ ├── list.yml │ ├── ping-deps.yml │ └── random-builds.yml ├── .gitignore ├── LICENSE ├── MANIFEST.in ├── README.md ├── SOURCES.md ├── base ├── potato │ ├── Dockerfile │ ├── entrypoint.sh │ └── timeout ├── pre-jessie │ ├── Dockerfile │ ├── entrypoint.sh │ └── timeout └── v1 │ ├── Dockerfile │ └── entrypoint.sh ├── generate-json └── gen-json.py ├── generic ├── 2000 │ └── Dockerfile ├── binary-tar │ └── Dockerfile ├── binary-v1 │ └── Dockerfile ├── dist-v1 │ └── Dockerfile ├── starexec │ └── Dockerfile └── v1 │ └── Dockerfile ├── index.json ├── knuth ├── Dockerfile ├── run.sh ├── setup.json └── solvers.json ├── satex.py ├── setup.py └── tests ├── aim-200-1_6-yes1-1.cnf ├── aim-200-1_6-yes1-1.cnf.gz ├── cmu-bmc-barrel6.cnf ├── cmu-bmc-barrel6.cnf.gz ├── quinn.cnf └── quinn.cnf.gz /.github/workflows/docker-push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/.github/workflows/docker-push.yml -------------------------------------------------------------------------------- /.github/workflows/docker-sync.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/.github/workflows/docker-sync.yml -------------------------------------------------------------------------------- /.github/workflows/list-docker-images.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/.github/workflows/list-docker-images.py -------------------------------------------------------------------------------- /.github/workflows/list.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/.github/workflows/list.yml -------------------------------------------------------------------------------- /.github/workflows/ping-deps.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/.github/workflows/ping-deps.yml -------------------------------------------------------------------------------- /.github/workflows/random-builds.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/.github/workflows/random-builds.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | file*.json 2 | __pycache__ 3 | *.egg-info 4 | dist 5 | tests/proof.tmp 6 | -------------------------------------------------------------------------------- /2000/Asat.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2000/Asat.build.sh -------------------------------------------------------------------------------- /2000/dr.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2000/dr.build.sh -------------------------------------------------------------------------------- /2000/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2000/setup.json -------------------------------------------------------------------------------- /2000/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2000/solvers.json -------------------------------------------------------------------------------- /2002/generate-raw-json.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2002/generate-raw-json.sh -------------------------------------------------------------------------------- /2002/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2002/setup.json -------------------------------------------------------------------------------- /2002/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2002/solvers.json -------------------------------------------------------------------------------- /2003/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2003/setup.json -------------------------------------------------------------------------------- /2003/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2003/solvers.json -------------------------------------------------------------------------------- /2004/build.sh: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /2004/fixtures/frankensat-high.post_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2004/fixtures/frankensat-high.post_build.sh -------------------------------------------------------------------------------- /2004/fixtures/frankensat-low.post_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2004/fixtures/frankensat-low.post_build.sh -------------------------------------------------------------------------------- /2004/fixtures/walksatauto.post_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2004/fixtures/walksatauto.post_build.sh -------------------------------------------------------------------------------- /2004/install.sh: -------------------------------------------------------------------------------- 1 | mv -v * /dist/ 2 | -------------------------------------------------------------------------------- /2004/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2004/setup.json -------------------------------------------------------------------------------- /2004/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2004/solvers.json -------------------------------------------------------------------------------- /2005/build.sh: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /2005/install.sh: -------------------------------------------------------------------------------- 1 | mv -v * /dist/ 2 | -------------------------------------------------------------------------------- /2005/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2005/setup.json -------------------------------------------------------------------------------- /2005/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2005/solvers.json -------------------------------------------------------------------------------- /2007/fixtures/barcelogic.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/fixtures/barcelogic.install.sh -------------------------------------------------------------------------------- /2007/fixtures/kcnfs-2004.build.sh: -------------------------------------------------------------------------------- 1 | set -x 2 | make CC="gcc-3.0 -static -O3 -fno-strict-aliasing" 3 | -------------------------------------------------------------------------------- /2007/fixtures/minisat-sat_2007.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/fixtures/minisat-sat_2007.build.sh -------------------------------------------------------------------------------- /2007/fixtures/mxc.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/fixtures/mxc.pre_build.sh -------------------------------------------------------------------------------- /2007/fixtures/rsat.post_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/fixtures/rsat.post_build.sh -------------------------------------------------------------------------------- /2007/fixtures/satzilla-crafted.build.sh: -------------------------------------------------------------------------------- 1 | set -x 2 | make release-crafted 3 | -------------------------------------------------------------------------------- /2007/fixtures/satzilla-crafted.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/fixtures/satzilla-crafted.install.sh -------------------------------------------------------------------------------- /2007/fixtures/satzilla-full.build.sh: -------------------------------------------------------------------------------- 1 | set -x 2 | make release 3 | -------------------------------------------------------------------------------- /2007/fixtures/satzilla-full.install.sh: -------------------------------------------------------------------------------- 1 | satzilla-crafted.install.sh -------------------------------------------------------------------------------- /2007/fixtures/satzilla-random.build.sh: -------------------------------------------------------------------------------- 1 | set -x 2 | make release-rand 3 | -------------------------------------------------------------------------------- /2007/fixtures/satzilla-random.install.sh: -------------------------------------------------------------------------------- 1 | satzilla-crafted.install.sh -------------------------------------------------------------------------------- /2007/fixtures/tinisatelite.TiniSatELite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/fixtures/tinisatelite.TiniSatELite -------------------------------------------------------------------------------- /2007/fixtures/tinisatelite.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/fixtures/tinisatelite.install.sh -------------------------------------------------------------------------------- /2007/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/setup.json -------------------------------------------------------------------------------- /2007/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/solvers.json -------------------------------------------------------------------------------- /2007/src/descriptions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/src/descriptions -------------------------------------------------------------------------------- /2007/src/parse_descriptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2007/src/parse_descriptions.py -------------------------------------------------------------------------------- /2009/fixtures/circus.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/circus.pre_build.sh -------------------------------------------------------------------------------- /2009/fixtures/clasp.build.sh: -------------------------------------------------------------------------------- 1 | set -ex 2 | cd clasp 3 | make 4 | mv bin .. 5 | -------------------------------------------------------------------------------- /2009/fixtures/hydrasat-multi.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/hydrasat-multi.install.sh -------------------------------------------------------------------------------- /2009/fixtures/lysat-c.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/lysat-c.build.sh -------------------------------------------------------------------------------- /2009/fixtures/manysat_1.1-aimd_0.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/manysat_1.1-aimd_0.build.sh -------------------------------------------------------------------------------- /2009/fixtures/manysat_1.1-aimd_0.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/manysat_1.1-aimd_0.install.sh -------------------------------------------------------------------------------- /2009/fixtures/manysat_1.1-aimd_1.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/manysat_1.1-aimd_1.build.sh -------------------------------------------------------------------------------- /2009/fixtures/manysat_1.1-aimd_1.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/manysat_1.1-aimd_1.install.sh -------------------------------------------------------------------------------- /2009/fixtures/manysat_1.1-aimd_2.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/manysat_1.1-aimd_2.build.sh -------------------------------------------------------------------------------- /2009/fixtures/manysat_1.1-aimd_2.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/manysat_1.1-aimd_2.install.sh -------------------------------------------------------------------------------- /2009/fixtures/minisat_09z.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/minisat_09z.build.sh -------------------------------------------------------------------------------- /2009/fixtures/minisat_09z.post_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/minisat_09z.post_build.sh -------------------------------------------------------------------------------- /2009/fixtures/mxc.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/mxc.build.sh -------------------------------------------------------------------------------- /2009/fixtures/sapperlot-base.build.sh: -------------------------------------------------------------------------------- 1 | set -ex 2 | make CC=g++-4.2 3 | -------------------------------------------------------------------------------- /2009/fixtures/sat4j-core.build.sh: -------------------------------------------------------------------------------- 1 | echo "TODO" 2 | -------------------------------------------------------------------------------- /2009/fixtures/sat4j-core.install.sh: -------------------------------------------------------------------------------- 1 | mv -v org.sat4j.core.jar /dist/ 2 | -------------------------------------------------------------------------------- /2009/fixtures/satake.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/satake.pre_build.sh -------------------------------------------------------------------------------- /2009/fixtures/satzilla2009_c.build.sh: -------------------------------------------------------------------------------- 1 | make release-crafted 2 | -------------------------------------------------------------------------------- /2009/fixtures/satzilla2009_c.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/fixtures/satzilla2009_c.install.sh -------------------------------------------------------------------------------- /2009/fixtures/satzilla2009_i.build.sh: -------------------------------------------------------------------------------- 1 | make release-industrial 2 | -------------------------------------------------------------------------------- /2009/fixtures/satzilla2009_i.install.sh: -------------------------------------------------------------------------------- 1 | satzilla2009_c.install.sh -------------------------------------------------------------------------------- /2009/fixtures/satzilla2009_r.build.sh: -------------------------------------------------------------------------------- 1 | make release-random 2 | -------------------------------------------------------------------------------- /2009/fixtures/satzilla2009_r.install.sh: -------------------------------------------------------------------------------- 1 | satzilla2009_c.install.sh -------------------------------------------------------------------------------- /2009/fixtures/varsat-crafted.build.sh: -------------------------------------------------------------------------------- 1 | cd survey 2 | rm *_static 3 | make rs 4 | mv varsat-* .. 5 | -------------------------------------------------------------------------------- /2009/fixtures/varsat-industrial.build.sh: -------------------------------------------------------------------------------- 1 | varsat-crafted.build.sh -------------------------------------------------------------------------------- /2009/fixtures/varsat-random.build.sh: -------------------------------------------------------------------------------- 1 | varsat-crafted.build.sh -------------------------------------------------------------------------------- /2009/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/setup.json -------------------------------------------------------------------------------- /2009/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/solvers.json -------------------------------------------------------------------------------- /2009/src/descriptions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/src/descriptions -------------------------------------------------------------------------------- /2009/src/parse_descriptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2009/src/parse_descriptions.py -------------------------------------------------------------------------------- /2011/fixtures/black_hole_sat.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2011/fixtures/black_hole_sat.pre_build.sh -------------------------------------------------------------------------------- /2011/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2011/setup.json -------------------------------------------------------------------------------- /2011/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2011/solvers.json -------------------------------------------------------------------------------- /2011/src/descriptions: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2011/src/descriptions -------------------------------------------------------------------------------- /2011/src/parse_descriptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2011/src/parse_descriptions.py -------------------------------------------------------------------------------- /2013/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/build.sh -------------------------------------------------------------------------------- /2013/fixtures/dimetheusmps.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/dimetheusmps.build.sh -------------------------------------------------------------------------------- /2013/fixtures/glueminisat-cert-unsat.post_build.sh: -------------------------------------------------------------------------------- 1 | find /src -name 'glueminisat-cert-unsat.sh' -exec chmod 755 {} \; -------------------------------------------------------------------------------- /2013/fixtures/lingeling_587f.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/lingeling_587f.build.sh -------------------------------------------------------------------------------- /2013/fixtures/lingeling_aqw.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/lingeling_aqw.build.sh -------------------------------------------------------------------------------- /2013/fixtures/minipure.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/minipure.pre_build.sh -------------------------------------------------------------------------------- /2013/fixtures/plingeling.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/plingeling.build.sh -------------------------------------------------------------------------------- /2013/fixtures/rseq.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/rseq.pre_build.sh -------------------------------------------------------------------------------- /2013/fixtures/sattimerelbackseq.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd new_sattimeRelbackSeq_submittedfinal 3 | ./build.sh -------------------------------------------------------------------------------- /2013/fixtures/solver43a.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/solver43a.pre_build.sh -------------------------------------------------------------------------------- /2013/fixtures/solver43b.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/solver43b.pre_build.sh -------------------------------------------------------------------------------- /2013/fixtures/treengeling.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/fixtures/treengeling.build.sh -------------------------------------------------------------------------------- /2013/gen-json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/gen-json.py -------------------------------------------------------------------------------- /2013/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/install.sh -------------------------------------------------------------------------------- /2013/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/setup.json -------------------------------------------------------------------------------- /2013/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2013/solvers.json -------------------------------------------------------------------------------- /2014/auto-setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2014/auto-setup.json -------------------------------------------------------------------------------- /2014/auto-solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2014/auto-solvers.json -------------------------------------------------------------------------------- /2014/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2014/build.sh -------------------------------------------------------------------------------- /2014/fixtures/ccgscore.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2014/fixtures/ccgscore.pre_build.sh -------------------------------------------------------------------------------- /2014/fixtures/dimetheus.build.sh: -------------------------------------------------------------------------------- 1 | cd /src 2 | bash build.sh || true 3 | -------------------------------------------------------------------------------- /2014/fixtures/rokk.post_build.sh: -------------------------------------------------------------------------------- 1 | find /src -name 'rokk.sh' -exec chmod 755 {} \; -------------------------------------------------------------------------------- /2014/fixtures/rokk_sat.post_build.sh: -------------------------------------------------------------------------------- 1 | find /src -name 'rokk_sat.sh' -exec chmod 755 {} \; -------------------------------------------------------------------------------- /2014/gen-json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2014/gen-json.py -------------------------------------------------------------------------------- /2014/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2014/install.sh -------------------------------------------------------------------------------- /2014/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2014/setup.json -------------------------------------------------------------------------------- /2014/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2014/solvers.json -------------------------------------------------------------------------------- /2016/fixtures/MapleCMS.pre_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x MapleCMS/m4ri-20140914/configure 2 | -------------------------------------------------------------------------------- /2016/fixtures/Splatz06vmain.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/fixtures/Splatz06vmain.pre_build.sh -------------------------------------------------------------------------------- /2016/fixtures/beansandeggs.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/fixtures/beansandeggs.pre_build.sh -------------------------------------------------------------------------------- /2016/fixtures/chbr_glucose.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x /src/*/bin/CHBR_glucose 2 | -------------------------------------------------------------------------------- /2016/fixtures/chbr_glucose_tuned.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x /src/*/bin/CHBR_glucose_tuned 2 | -------------------------------------------------------------------------------- /2016/fixtures/cmsat5_agile.pre_build.sh: -------------------------------------------------------------------------------- 1 | set -x 2 | find -name configure -exec chmod +x {} \; 3 | -------------------------------------------------------------------------------- /2016/fixtures/cmsat5_autotune2.pre_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x cmsat5_autotune2/m4ri-20140914/configure 2 | -------------------------------------------------------------------------------- /2016/fixtures/cmsat5_main2.pre_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x cmsat5_main2/m4ri-20140914/configure 2 | -------------------------------------------------------------------------------- /2016/fixtures/cmsat5_run_parallel.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/fixtures/cmsat5_run_parallel.pre_build.sh -------------------------------------------------------------------------------- /2016/fixtures/cominisatpschandrasekhardrup.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/fixtures/cominisatpschandrasekhardrup.pre_build.sh -------------------------------------------------------------------------------- /2016/fixtures/glucose_hack_kiel.post_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/fixtures/glucose_hack_kiel.post_build.sh -------------------------------------------------------------------------------- /2016/fixtures/lingeling.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/fixtures/lingeling.pre_build.sh -------------------------------------------------------------------------------- /2016/fixtures/tb_glucose.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x /src/*/bin/tb_glucose 2 | -------------------------------------------------------------------------------- /2016/fixtures/tc_glucose.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x /src/*/bin/tc_glucose 2 | -------------------------------------------------------------------------------- /2016/fixtures/yalsat03r.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/fixtures/yalsat03r.pre_build.sh -------------------------------------------------------------------------------- /2016/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/setup.json -------------------------------------------------------------------------------- /2016/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2016/solvers.json -------------------------------------------------------------------------------- /2017/fixtures/CandyRSILi.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/CandyRSILi.pre_build.sh -------------------------------------------------------------------------------- /2017/fixtures/CandyRSILv.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/CandyRSILv.pre_build.sh -------------------------------------------------------------------------------- /2017/fixtures/CandySL21.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/CandySL21.pre_build.sh -------------------------------------------------------------------------------- /2017/fixtures/bs_glucose.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x /src/*/bin/bs_glucose1 -------------------------------------------------------------------------------- /2017/fixtures/cadical-sc17-agile-proof.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/cadical-sc17-agile-proof.pre_build.sh -------------------------------------------------------------------------------- /2017/fixtures/cadical-sc17-proof.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/cadical-sc17-proof.pre_build.sh -------------------------------------------------------------------------------- /2017/fixtures/ccspenelope.pre_build.sh: -------------------------------------------------------------------------------- 1 | set -x 2 | rm -rf __MACOSX 3 | -------------------------------------------------------------------------------- /2017/fixtures/ddc-submit.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/ddc-submit.build.sh -------------------------------------------------------------------------------- /2017/fixtures/lingeling-bbe.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/lingeling-bbe.pre_build.sh -------------------------------------------------------------------------------- /2017/fixtures/riss7.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/riss7.build.sh -------------------------------------------------------------------------------- /2017/fixtures/scalope.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/scalope.pre_build.sh -------------------------------------------------------------------------------- /2017/fixtures/tch_glucose1.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x /src/*/bin/tch_glucose1 2 | -------------------------------------------------------------------------------- /2017/fixtures/tch_glucose2.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x /src/*/bin/tch_glucose2 2 | -------------------------------------------------------------------------------- /2017/fixtures/tch_glucose3.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x /src/*/bin/tch_glucose3 2 | -------------------------------------------------------------------------------- /2017/fixtures/yalsat.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/fixtures/yalsat.build.sh -------------------------------------------------------------------------------- /2017/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/setup.json -------------------------------------------------------------------------------- /2017/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2017/solvers.json -------------------------------------------------------------------------------- /2018/fixtures/CaDiCaL.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/CaDiCaL.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/Lingeling.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/Lingeling.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/MapleCOMSPS_LRB_VSIDS_2_drup.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/MapleCOMSPS_LRB_VSIDS_2_drup.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/Maple_LCM_Scavel.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/Maple_LCM_Scavel.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/Maple_LCM_Scavel_200.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/Maple_LCM_Scavel_200.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/Riss7.1.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/Riss7.1.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/Sparrow2Riss-2018.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/Sparrow2Riss-2018.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/YalSAT.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/YalSAT.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/abcd_para18.build.sh: -------------------------------------------------------------------------------- 1 | set -x 2 | cd .. 3 | ./build.sh 4 | -------------------------------------------------------------------------------- /2018/fixtures/cms55-main-all4fixed.pre_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x cms55-main-all4fixed/m4ri-20140914/configure 2 | -------------------------------------------------------------------------------- /2018/fixtures/ddc-submit18.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/ddc-submit18.build.sh -------------------------------------------------------------------------------- /2018/fixtures/glucose4.2.1.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/glucose4.2.1.pre_build.sh -------------------------------------------------------------------------------- /2018/fixtures/hordesat.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/hordesat.build.sh -------------------------------------------------------------------------------- /2018/fixtures/penelope_mdcl.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/fixtures/penelope_mdcl.build.sh -------------------------------------------------------------------------------- /2018/fixtures/varisat.pre_build.sh: -------------------------------------------------------------------------------- 1 | set -x 2 | chmod +x varisat/build.sh -------------------------------------------------------------------------------- /2018/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/setup.json -------------------------------------------------------------------------------- /2018/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2018/solvers.json -------------------------------------------------------------------------------- /2019/fixtures/CaDiCaL.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2019/fixtures/CaDiCaL.pre_build.sh -------------------------------------------------------------------------------- /2019/fixtures/Lingeling.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2019/fixtures/Lingeling.pre_build.sh -------------------------------------------------------------------------------- /2019/fixtures/MapleLCMDistChronoBT-DL-v1.pre_build.sh: -------------------------------------------------------------------------------- 1 | mkdir MapleLCMDistChronoBT-DL-v1/bin -------------------------------------------------------------------------------- /2019/fixtures/expMaple_CM_GCBump.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2019/fixtures/expMaple_CM_GCBump.pre_build.sh -------------------------------------------------------------------------------- /2019/fixtures/expMaple_CM_GCBumpOnlyLRB.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2019/fixtures/expMaple_CM_GCBumpOnlyLRB.pre_build.sh -------------------------------------------------------------------------------- /2019/fixtures/maple-lcmdistchronobtvariablereindexing.install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2019/fixtures/maple-lcmdistchronobtvariablereindexing.install.sh -------------------------------------------------------------------------------- /2019/fixtures/mergesat.build.sh: -------------------------------------------------------------------------------- 1 | riss7.1.build.sh -------------------------------------------------------------------------------- /2019/fixtures/riss7.1.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2019/fixtures/riss7.1.build.sh -------------------------------------------------------------------------------- /2019/fixtures/sparrowtomergesat.build.sh: -------------------------------------------------------------------------------- 1 | riss7.1.build.sh -------------------------------------------------------------------------------- /2019/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2019/setup.json -------------------------------------------------------------------------------- /2019/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2019/solvers.json -------------------------------------------------------------------------------- /2020/fixtures/CaDiCaL-sc2020.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/fixtures/CaDiCaL-sc2020.pre_build.sh -------------------------------------------------------------------------------- /2020/fixtures/ExMapleLCMDistChronoBT.post_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x ExMapleLCMDistChronoBT/bin/glucose_static -------------------------------------------------------------------------------- /2020/fixtures/Kissat-sc2020-default.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/fixtures/Kissat-sc2020-default.pre_build.sh -------------------------------------------------------------------------------- /2020/fixtures/Kissat-sc2020-sat.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/fixtures/Kissat-sc2020-sat.pre_build.sh -------------------------------------------------------------------------------- /2020/fixtures/Kissat-sc2020-unsat.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/fixtures/Kissat-sc2020-unsat.pre_build.sh -------------------------------------------------------------------------------- /2020/fixtures/cadical-alluip-trail.post_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/fixtures/cadical-alluip-trail.post_build.sh -------------------------------------------------------------------------------- /2020/fixtures/cadical-alluip-trail.pre_build.sh: -------------------------------------------------------------------------------- 1 | chmod +x cadical-alluip-trail/configure -------------------------------------------------------------------------------- /2020/fixtures/cadical-alluip.post_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/fixtures/cadical-alluip.post_build.sh -------------------------------------------------------------------------------- /2020/fixtures/cadical-alluip.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/fixtures/cadical-alluip.pre_build.sh -------------------------------------------------------------------------------- /2020/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/setup.json -------------------------------------------------------------------------------- /2020/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2020/solvers.json -------------------------------------------------------------------------------- /2021/fixtures/cadical_scavel01.install.sh: -------------------------------------------------------------------------------- 1 | cp -v /src/*/build/cadical /dist/ 2 | -------------------------------------------------------------------------------- /2021/fixtures/cadical_scavel01.pre_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2021/fixtures/cadical_scavel01.pre_build.sh -------------------------------------------------------------------------------- /2021/fixtures/cadical_scavel02.install.sh: -------------------------------------------------------------------------------- 1 | cadical_scavel01.install.sh -------------------------------------------------------------------------------- /2021/fixtures/cadical_scavel02.pre_build.sh: -------------------------------------------------------------------------------- 1 | cadical_scavel01.pre_build.sh -------------------------------------------------------------------------------- /2021/fixtures/cleanmaple.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2021/fixtures/cleanmaple.build.sh -------------------------------------------------------------------------------- /2021/fixtures/cleanmaple_pripro.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2021/fixtures/cleanmaple_pripro.build.sh -------------------------------------------------------------------------------- /2021/fixtures/hcad.build.sh: -------------------------------------------------------------------------------- 1 | cd /src 2 | ./configure 3 | make 4 | -------------------------------------------------------------------------------- /2021/fixtures/hcad.install.sh: -------------------------------------------------------------------------------- 1 | cp -v /src/build/cadical /dist/ 2 | -------------------------------------------------------------------------------- /2021/fixtures/kissat_bonus.install.sh: -------------------------------------------------------------------------------- 1 | kissat_cf.install.sh -------------------------------------------------------------------------------- /2021/fixtures/kissat_cf.install.sh: -------------------------------------------------------------------------------- 1 | cp -v /src/build/kissat /dist/ 2 | -------------------------------------------------------------------------------- /2021/fixtures/lstech_maple.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/maple_mbdr_bjl7_local.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/maple_mbdr_cent_perm_10k.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/maple_mbdr_cent_perm_75k.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/maple_simp21.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2021/fixtures/maple_simp21.build.sh -------------------------------------------------------------------------------- /2021/fixtures/optsat_m21.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2021/fixtures/optsat_m21.build.sh -------------------------------------------------------------------------------- /2021/fixtures/optsat_r21.build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2021/fixtures/optsat_r21.build.sh -------------------------------------------------------------------------------- /2021/fixtures/relaxed_lcftp.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/relaxed_lcftp_v2.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/relaxed_lcftp_v3.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/relaxed_lcmdcmdl_blb.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/relaxed_lcmdcmdl_scavel01.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/relaxed_lcmdcmdl_scavel02.build.sh: -------------------------------------------------------------------------------- 1 | cd .. 2 | cd sources/simp 3 | make 4 | cp glucose .. 5 | -------------------------------------------------------------------------------- /2021/fixtures/slime.pre_build.sh: -------------------------------------------------------------------------------- 1 | mkdir /src/bin -------------------------------------------------------------------------------- /2021/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2021/setup.json -------------------------------------------------------------------------------- /2021/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/2021/solvers.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/README.md -------------------------------------------------------------------------------- /SOURCES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/SOURCES.md -------------------------------------------------------------------------------- /base/potato/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/base/potato/Dockerfile -------------------------------------------------------------------------------- /base/potato/entrypoint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/base/potato/entrypoint.sh -------------------------------------------------------------------------------- /base/potato/timeout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/base/potato/timeout -------------------------------------------------------------------------------- /base/pre-jessie/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/base/pre-jessie/Dockerfile -------------------------------------------------------------------------------- /base/pre-jessie/entrypoint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/base/pre-jessie/entrypoint.sh -------------------------------------------------------------------------------- /base/pre-jessie/timeout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/base/pre-jessie/timeout -------------------------------------------------------------------------------- /base/v1/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/base/v1/Dockerfile -------------------------------------------------------------------------------- /base/v1/entrypoint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/base/v1/entrypoint.sh -------------------------------------------------------------------------------- /generate-json/gen-json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/generate-json/gen-json.py -------------------------------------------------------------------------------- /generic/2000/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/generic/2000/Dockerfile -------------------------------------------------------------------------------- /generic/binary-tar/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/generic/binary-tar/Dockerfile -------------------------------------------------------------------------------- /generic/binary-v1/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/generic/binary-v1/Dockerfile -------------------------------------------------------------------------------- /generic/dist-v1/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/generic/dist-v1/Dockerfile -------------------------------------------------------------------------------- /generic/starexec/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/generic/starexec/Dockerfile -------------------------------------------------------------------------------- /generic/v1/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/generic/v1/Dockerfile -------------------------------------------------------------------------------- /index.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/index.json -------------------------------------------------------------------------------- /knuth/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/knuth/Dockerfile -------------------------------------------------------------------------------- /knuth/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/knuth/run.sh -------------------------------------------------------------------------------- /knuth/setup.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/knuth/setup.json -------------------------------------------------------------------------------- /knuth/solvers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/knuth/solvers.json -------------------------------------------------------------------------------- /satex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/satex.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/setup.py -------------------------------------------------------------------------------- /tests/aim-200-1_6-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/tests/aim-200-1_6-yes1-1.cnf -------------------------------------------------------------------------------- /tests/aim-200-1_6-yes1-1.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/tests/aim-200-1_6-yes1-1.cnf.gz -------------------------------------------------------------------------------- /tests/cmu-bmc-barrel6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/tests/cmu-bmc-barrel6.cnf -------------------------------------------------------------------------------- /tests/cmu-bmc-barrel6.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/tests/cmu-bmc-barrel6.cnf.gz -------------------------------------------------------------------------------- /tests/quinn.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/tests/quinn.cnf -------------------------------------------------------------------------------- /tests/quinn.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sat-heritage/docker-images/HEAD/tests/quinn.cnf.gz --------------------------------------------------------------------------------