latinsquares

Searching for combinatorial designs based on Latin Squares

Name		Name	Last commit message	Last commit date
Latest commit History 65 Commits
dls_main_class_enumeration		dls_main_class_enumeration
dlx_mols		dlx_mols
enumerate_brown_dls		enumerate_brown_dls
sat_enumeration_brown_dls		sat_enumeration_brown_dls
solve_sat_cms		solve_sat_cms
solve_sat_cms_mpi		solve_sat_cms_mpi
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
check_brown_dls.py		check_brown_dls.py
check_triple_mols_existence.py		check_triple_mols_existence.py
cms_and_partialls_to_2mols.py		cms_and_partialls_to_2mols.py
collect_models_numbers.py		collect_models_numbers.py
collect_mols_from_sat.py		collect_mols_from_sat.py
cp-index_sat_2mols.py		cp-index_sat_2mols.py
cp-index_sat_3mols.py		cp-index_sat_3mols.py
partialls_to_cnf.py		partialls_to_cnf.py
run.sh		run.sh
sat_enc_brown_dls.py		sat_enc_brown_dls.py
test_ls-cms.py		test_ls-cms.py

Provide feedback