updated policy-routing test-rig to include inconsistency
removed extraneous config from policy-routing test rig
major revision to z3 synthesis for policy routing, need to follow up down pipeline
fixed z3 policy-routing, still need to figure out variable resolution
major revision of z3 query synthesis and concretization in progress
removed accidentally added generated grammar java files
added logging to concretizer query generator
added serialization for juniper rep structs, updated concretizer code
removed zombie generated file
removed erroneous duplicate class
z3 synthesis about as compact is it's going to get
fixed bug where connected routes would not be redistributed into ospf
without explicit metric
fixed z3 synthesis bug where nothing could travel between nodes
refactored z3 synthesis again to produce many relations
ibgp appears to be working again in logicblox
intermediate commit - updating concretizer
finished concretization and injection pipeline changes
removed unused logicbloxfactgrammar and associated package
Merge remote-tracking branch 'origin/unstable' into lpedrosa