dart_z3 1.0.5

Holds Dart-like bindings for the C api of Z3 Theorem Prover, version (4.8.17).

1.0.5

• Added unit tests for ast

1.0.4

• Remove examples, to reduce codebase, they all live under tests now
• Added string support

1.0.3

• Changed return string in solver.check and solver.model to be more in line with C library
• Made tests from examples (beware:including smelly tests!)

1.0.2

• Removed linter for generated bindings and fixed other small problems

1.0.1

• Fixed Dart pub comments

1.0.0

• Initial version.