Skip to content

batfish 0.33.2
Compare
Choose a tag to compare
@dhalperi dhalperi released this 12 Dec 05:51
batfish-0.33.2
266b898

Release notes

Refer to the release notes for version 0.33.0 and 0.33.1.

This incremental release includes the following improvements and fixes:

  • (#739) Fixed a scalability issue with long routing policies.
  • (#729) Improve memory usage during parsing and serialization.

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.33

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

Assets 6