v0.1.4

Bump versions

v0.1.3

nix: Update examples

v0.1.2

nix: Prepare artifact in system activation script

v0.1.0

cav2022: Bump version

v0.0.5

Separate output for multiple solver calls

v0.0.4

Release v0.0.4

v0.0.3

Final touches for artifact submission

v0.0.2

tcr: Add configuration properties, improve output

v0.0.1

tcr: Update reference to examples