├── README.md ├── create-cnf.sh ├── create-sat2018-benchmark.sh ├── doc ├── local.bib └── satcoin.tex ├── out_10k_sat.cnf.gz ├── out_10k_sat_sliced.cnf.gz ├── out_1k_sat.cnf.gz ├── out_1k_sat_sliced.cnf.gz ├── out_1k_unsat.cnf.gz ├── out_blk218430_1k_sat.cnf.gz └── satcoin.c /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/README.md -------------------------------------------------------------------------------- /create-cnf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/create-cnf.sh -------------------------------------------------------------------------------- /create-sat2018-benchmark.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/create-sat2018-benchmark.sh -------------------------------------------------------------------------------- /doc/local.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/doc/local.bib -------------------------------------------------------------------------------- /doc/satcoin.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/doc/satcoin.tex -------------------------------------------------------------------------------- /out_10k_sat.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/out_10k_sat.cnf.gz -------------------------------------------------------------------------------- /out_10k_sat_sliced.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/out_10k_sat_sliced.cnf.gz -------------------------------------------------------------------------------- /out_1k_sat.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/out_1k_sat.cnf.gz -------------------------------------------------------------------------------- /out_1k_sat_sliced.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/out_1k_sat_sliced.cnf.gz -------------------------------------------------------------------------------- /out_1k_unsat.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/out_1k_unsat.cnf.gz -------------------------------------------------------------------------------- /out_blk218430_1k_sat.cnf.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/out_blk218430_1k_sat.cnf.gz -------------------------------------------------------------------------------- /satcoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jheusser/satcoin/HEAD/satcoin.c --------------------------------------------------------------------------------