8000 GitHub - capiman/E2 · GitHub

Repository navigation

E2

Public

About

No description, website, or topics provided.

1 star

1 watching

Report repository

22 C 8000 ommits

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.gitattributes		.gitattributes
.gitignore		.gitignore
10x10_info.c		10x10_info.c
10x10_info.h		10x10_info.h
LICENSE		LICENSE
README.md		README.md
binarybacktracker256.c		binarybacktracker256.c
binarybacktracker256fast.c		binarybacktracker256fast.c
binarybacktracker256fast_not_linear_path.c		binarybacktracker256fast_not_linear_path.c
check_found_solutions.c		check_found_solutions.c
createcnfnew.c		createcnfnew.c
createcnfnewcomp.c		createcnfnewcomp.c
e2_find_invalid_clauses.c		e2_find_invalid_clauses.c
e2_found_invalid_clauses_202108251032.cnf.gz		e2_found_invalid_clauses_202108251032.cnf.gz
e2_found_invalid_clauses_202108260727.cnf.gz		e2_found_invalid_clauses_202108260727.cnf.gz
e2_found_invalid_clauses_202108300628.cnf.gz		e2_found_invalid_clauses_202108300628.cnf.gz
e2_found_invalid_clauses_202109041000.cnf.gz		e2_found_invalid_clauses_202109041000.cnf.gz
e2_found_invalid_clauses_round_1.cnf.gz		e2_found_invalid_clauses_round_1.cnf.gz
e2_found_invalid_clauses_round_2.cnf.gz		e2_found_invalid_clauses_round_2.cnf.gz
e2_found_invalid_clauses_round_3.cnf.gz		e2_found_invalid_clauses_round_3.cnf.gz
e2_found_invalid_clauses_round_4.cnf.gz		e2_found_invalid_clauses_round_4.cnf.gz
e2_found_invalid_clauses_round_5.cnf.gz		e2_found_invalid_clauses_round_5.cnf.gz
e2_found_invalid_clauses_round_55.cnf.gz		e2_found_invalid_clauses_round_55.cnf.gz
e2_found_invalid_clauses_round_56.cnf.gz		e2_found_invalid_clauses_round_56.cnf.gz
e2_found_invalid_clauses_round_57.cnf.gz		e2_found_invalid_clauses_round_57.cnf.gz
e2_found_invalid_clauses_round_58.cnf.gz		e2_found_invalid_clauses_round_58.cnf.gz
e2_found_invalid_clauses_round_59.cnf.gz		e2_found_invalid_clauses_round_59.cnf.gz
e2_found_invalid_clauses_round_6.cnf.gz		e2_found_invalid_clauses_round_6.cnf.gz
e2_found_invalid_clauses_round_7.cnf.gz		e2_found_invalid_clauses_round_7.cnf.gz
e2_found_invalid_clauses_round_8.cnf.gz		e2_found_invalid_clauses_round_8.cnf.gz
e2_found_invalid_clauses_round_9.cnf.gz		e2_found_invalid_clauses_round_9.cnf.gz
e2_info.c		e2_info.c
e2_info.h		e2_info.h
e2_unsat_manually_found_202108221228.cnf.gz		e2_unsat_manually_found_202108221228.cnf.gz
e2_unsat_unred_202108181919.cnf.gz		e2_unsat_unred_202108181919.cnf.gz
e2_unsat_unred_202108182112.cnf.gz		e2_unsat_unred_202108182112.cnf.gz
e2_unsat_unred_202108190440.cnf.gz		e2_unsat_unred_202108190440.cnf.gz
e2_unsat_unred_202108191034.cnf.gz		e2_unsat_unred_202108191034.cnf.gz
e2_unsat_unred_202108202148.cnf.gz		e2_unsat_unred_202108202148.cnf.gz
e2_unsat_unred_202108210702.cnf.gz		e2_unsat_unred_202108210702.cnf.gz
e2_unsat_unred_202108212214.cnf.gz		e2_unsat_unred_202108212214.cnf.gz
e2_unsat_unred_202108220834.cnf.gz		e2_unsat_unred_202108220834.cnf.gz
e2_unsat_unred_202108221248.cnf.gz		e2_unsat_unred_202108221248.cnf.gz
e2_unsat_unred_202108221942.cnf.gz		e2_unsat_unred_202108221942.cnf.gz
e2_unsat_unred_202108230600.cnf.gz		e2_unsat_unred_202108230600.cnf.gz
e2_unsat_unred_202108231055.cnf.gz		e2_unsat_unred_202108231055.cnf.gz
e2_unsat_unred_202108231928.cnf.gz		e2_unsat_unred_202108231928.cnf.gz
e2_unsat_unred_202108240701.cnf.gz		e2_unsat_unred_202108240701.cnf.gz
e2_unsat_unred_202108242129.cnf.gz		e2_unsat_unred_202108242129.cnf.gz
e2_unsat_unred_202108251024.cnf.gz		e2_unsat_unred_202108251024.cnf.gz
e2_unsat_unred_202108252255.cnf.gz		e2_unsat_unred_202108252255.cnf.gz
e2_unsat_unred_202108260720.cnf.gz		e2_unsat_unred_202108260720.cnf.gz
e2_unsat_unred_202108262325.cnf.gz		e2_unsat_unred_202108262325.cnf.gz
e2_unsat_unred_202108270833.cnf.gz		e2_unsat_unred_202108270833.cnf.gz
e2_unsat_unred_202108281649.cnf.gz		e2_unsat_unred_202108281649.cnf.gz
e2_unsat_unred_202108291127.cnf.gz		e2_unsat_unred_202108291127.cnf.gz
e2_unsat_unred_202108292108.cnf.gz		e2_unsat_unred_202108292108.cnf.gz
e2_unsat_unred_202108300628.cnf.gz		e2_unsat_unred_202108300628.cnf.gz
e2_unsat_unred_202108302136.cnf.gz		e2_unsat_unred_202108302136.cnf.gz
e2_unsat_unred_202108310649.cnf.gz		e2_unsat_unred_202108310649.cnf.gz
e2_unsat_unred_202108312210.cnf.gz		e2_unsat_unred_202108312210.cnf.gz
e2_unsat_unred_202109010839.cnf.gz		e2_unsat_unred_202109010839.cnf.gz
e2_unsat_unred_202109012052.cnf.gz		e2_unsat_unred_202109012052.cnf.gz
e2_unsat_unred_202109020737.cnf.gz		e2_unsat_unred_202109020737.cnf.gz
e2_unsat_unred_202109022231.cnf.gz		e2_unsat_unred_202109022231.cnf.gz
e2_unsat_unred_202109031643.cnf.gz		e2_unsat_unred_202109031643.cnf.gz
e2_unsat_unred_202109041000.cnf.gz		e2_unsat_unred_202109041000.cnf.gz
e2_unsat_unred_202109050650.cnf.gz		e2_unsat_unred_202109050650.cnf.gz
e2_unsat_unred_202109051857.cnf.gz		e2_unsat_unred_202109051857.cnf.gz
e2_unsat_unred_202109060748.cnf.gz		e2_unsat_unred_202109060748.cnf.gz
e2_unsat_unred_202109062247.cnf.gz		e2_unsat_unred_202109062247.cnf.gz
e2_unsat_unred_202109071430.cnf.gz		e2_unsat_unred_202109071430.cnf.gz
e2_unsat_unred_202109080711.cnf.gz		e2_unsat_unred_202109080711.cnf.gz
e2_unsat_unred_202109082200.cnf.gz		e2_unsat_unred_202109082200.cnf.gz
e2_unsat_unred_202109090809.cnf.gz		e2_unsat_unred_202109090809.cnf.gz
e2_unsat_unred_202109092258.cnf.gz		e2_unsat_unred_202109092258.cnf.gz
e2_unsat_unred_202109102140.cnf.gz		e2_unsat_unred_202109102140.cnf.gz
e2_unsat_unred_202109111208.cnf.gz		e2_unsat_unred_202109111208.cnf.gz
e2_unsat_unred_202109120716.cnf.gz		e2_unsat_unred_202109120716.cnf.gz
e2_unsat_unred_202109122155.cnf.gz		e2_unsat_unred_202109122155.cnf.gz
e2_unsat_unred_202109132136.cnf.gz		e2_unsat_unred_202109132136.cnf.gz
e2_unsat_unred_202109150724.cnf.gz		e2_unsat_unred_202109150724.cnf.gz
e2_unsat_unred_duplicate_runs_202109122215.cnf.gz		e2_unsat_unred_duplicate_runs_202109122215.cnf.gz
eter172c.c		eter172c.c
find_invalid_3_long_clauses.c		find_invalid_3_long_clauses.c
runbig.sh		runbig.sh
runme_256_multiset_time.sh		runme_256_multiset_time.sh
runme_256_multiset_time_long.sh		runme_256_multiset_time_long.sh
runme_256_multiset_time_long_with_unsat_files.sh		runme_256_multiset_time_long_with_unsat_files.sh
runme_256_set_set_timeout.sh		runme_256_set_set_timeout.sh
sha256.c		sha256.c
sha256.h		sha256.h
start4.sh		start4.sh

Repository files navigation

E2 Test

About

No description, website, or topics provided.

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages

0