# Revision history for expressions-z3

## 0.4

* Bump dependencies

## 0.3

* Bump dependencies

## 0.2

* Bump dependencies

## 0.1.6

* Bump dependencies

## 0.1.5

* Z3 API

## 0.1.4

* Bump dependencies

## 0.1.3

* Bump dependencies

## 0.1.2

* Bump dependencies

## 0.1.1

* Bump dependencies

## 0.1.0

* First version. Released on an unsuspecting world.