Hybrid-Grounding

This repository contains the experiment sections of the HybridGrounding prototype (https://github.com/alexl4123/newground).

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
benchmark_output		benchmark_output
generators		generators
instances/S3-T4		instances/S3-T4
old_instances		old_instances
output		output
scripts		scripts
README.md		README.md
start_benchmark_gringo_helper.py		start_benchmark_gringo_helper.py
start_benchmark_hybrid_grounding_helper.py		start_benchmark_hybrid_grounding_helper.py
start_benchmark_idlv_helper.py		start_benchmark_idlv_helper.py
start_benchmark_limit_virtual_memory.py		start_benchmark_limit_virtual_memory.py
start_benchmark_tests.py		start_benchmark_tests.py
start_benchmark_utils.py		start_benchmark_utils.py
start_bounds_benchmark_tests.py		start_bounds_benchmark_tests.py
start_primitive_benchmark_tests.py		start_primitive_benchmark_tests.py
start_script_02_traffic_density.sh		start_script_02_traffic_density.sh
start_script_cliques.sh		start_script_cliques.sh
start_script_cliques_100.sh		start_script_cliques_100.sh
start_script_edge_coloring.sh		start_script_edge_coloring.sh
start_script_exact_clique.sh		start_script_exact_clique.sh
start_script_max_cliques.sh		start_script_max_cliques.sh
start_script_min_cycles.sh		start_script_min_cycles.sh
start_script_nprc.sh		start_script_nprc.sh
start_script_nprc_density_benchmarks.sh		start_script_nprc_density_benchmarks.sh
start_script_nprc_tmp.sh		start_script_nprc_tmp.sh
start_script_other_clique.sh		start_script_other_clique.sh
start_script_stable_matching.sh		start_script_stable_matching.sh
start_script_stable_matching_aspcomp2013.sh		start_script_stable_matching_aspcomp2013.sh
start_script_toy_optimization_traffic.sh		start_script_toy_optimization_traffic.sh
start_script_toy_traffic.sh		start_script_toy_traffic.sh
start_script_traffic.sh		start_script_traffic.sh
start_script_traffic_density.sh		start_script_traffic_density.sh

alexl4123/newground-experiments

Folders and files

Latest commit

History

Repository files navigation

Hybrid-Grounding

About

Resources

Stars

Watchers

Forks

Languages