sat-sha2

investigation of sha2/bitcoin via STP solver.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
README.md		README.md
afa-test.php		afa-test.php
afa-test.sh		afa-test.sh
afa-test.smt2		afa-test.smt2
btc-11k.cnf		btc-11k.cnf
btc-11k.smt2		btc-11k.smt2
btc-128k.cnf		btc-128k.cnf
btc-128k.smt2		btc-128k.smt2
btc-16k.cnf		btc-16k.cnf
btc-16k.smt2		btc-16k.smt2
btc-16k.smt2.orig		btc-16k.smt2.orig
btc-1k.cnf		btc-1k.cnf
btc-1k.smt2		btc-1k.smt2
btc-1m.smt2		btc-1m.smt2
btc-20k.cnf		btc-20k.cnf
btc-20k.smt2		btc-20k.smt2
btc-256k.cnf		btc-256k.cnf
btc-256k.smt2		btc-256k.smt2
btc-2k.cnf		btc-2k.cnf
btc-2k.smt2		btc-2k.smt2
btc-2m.cnf		btc-2m.cnf
btc-2m.smt2		btc-2m.smt2
btc-32.cnf		btc-32.cnf
btc-32.smt2		btc-32.smt2
btc-32k.cnf		btc-32k.cnf
btc-32k.smt2		btc-32k.smt2
btc-4k.cnf		btc-4k.cnf
btc-4k.smt2		btc-4k.smt2
btc-512.cnf		btc-512.cnf
btc-512.smt2		btc-512.smt2
btc-512k.smt2		btc-512k.smt2
btc-64k.cnf		btc-64k.cnf
btc-64k.smt2		btc-64k.smt2
btc-8k.cnf		btc-8k.cnf
btc-8k.smt2		btc-8k.smt2
btc.php		btc.php
btc.sh		btc.sh
btc.smt2		btc.smt2

Provide feedback