Version 0.2.0

Significant change. Most importantly, addition of Grulia service, reorganized code, and deployment to maven central.

0.1.7

Improved support for real number constraints.

0.1.6: Add support for 64-bit integers [ci skip]

Support for 64-bit integers.

0.1.5

Support for real numbers added

0.1.4

Most importantly, the z3 processes are killed immediately after they complete their work.