Modeling a subset cover problem with Z3

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
.gitignore		.gitignore
README.md		README.md
common_model.py		common_model.py
experiment_results.json		experiment_results.json
experiments.py		experiments.py
hard_feasible_output.txt		hard_feasible_output.txt
hard_infeasible_output.txt		hard_infeasible_output.txt
hard_instances.py		hard_instances.py
ilp_output.txt		ilp_output.txt
min_subset_cover_ilp.py		min_subset_cover_ilp.py
min_subset_cover_z3_integer.py		min_subset_cover_z3_integer.py
requirements.txt		requirements.txt
run_experiments.py		run_experiments.py
sat_search.py		sat_search.py
subset_cover.py		subset_cover.py
subset_cover_cp.py		subset_cover_cp.py
subset_cover_ilp.py		subset_cover_ilp.py
subset_cover_z3_brute_force.py		subset_cover_z3_brute_force.py
subset_cover_z3_cardinality.py		subset_cover_z3_cardinality.py
subset_cover_z3_integer.py		subset_cover_z3_integer.py
z3_brute_force_output.txt		z3_brute_force_output.txt
z3_cardinality_output.txt		z3_cardinality_output.txt
z3_integer_output.txt		z3_integer_output.txt

Provide feedback