Model Checking for Networks

Use model checking to verify correctness for combination of Middle Boxes.

Name		Name	Last commit message	Last commit date
Latest commit History 259 Commits
average_timing		average_timing
data		data
mcnet		mcnet
notes		notes
old-ocaml		old-ocaml
ori_model		ori_model
patches/z3		patches/z3
processed_data		processed_data
processing_tools		processing_tools
scratch		scratch
test_expansion		test_expansion
tests		tests
vf_input		vf_input
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
TODO.md		TODO.md
all_params		all_params

apanda/modeling