Release notes

Noteworthy new features and improvements in this release include:

(#459) Import Cisco VRRP configuration to the vendor-neutral data model.
(#468) Fix a crash when a VRRP is configured but unusable.
(#459) Break ties deterministically between multiple best VRRP candidates.
(#462,#338, thanks @dspicuzzbbn) Add support for iptables on routers. Previously, iptables were assumed to be only on non-routing end hosts.
(#392) Support XR as-path is-local.
(#455) Additional parsing support for Arista DHCP relay configuration.
(#408,#411) Support for Cadant routers.
(#412) Improved accounting for used and unused references.
(#449) Switch to weak references for in-memory caches of large objects. This can prevent OOM errors and GC-induced slowdowns when a server processes many different testrigs.
(#429,#422) Serialize/deserialize data structures directly to/from output/input streams, rather than materializing the entire serialized structure in memory. This improves performance, reduces memory usage, and prevents crashes when object serialized size exceeds 2 GiB.

Installation

Using APT:

(Ubuntu 16.04 ONLY)
echo 'deb https://apt.batfish.org/batfish/debian xenial main' | sudo tee /etc/apt/sources.list.d/batfish.list

(Ubuntu 14.04 ONLY)
echo 'deb https://apt.batfish.org/batfish/debian trusty main' | sudo tee /etc/apt/sources.list.d/batfish.list

sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 5CC0F927C4237ED5
sudo apt-get update
sudo apt-get install batfish-0.31

The .rpm and .deb files include Z3 binaries.
The license for Z3 (MIT) differs from that of Batfish (Apache 2.0).
See https://github.com/Z3Prover/z3/blob/z3-4.5.0/LICENSE.txt