Deployment Instruction: 21 April 2016 - MySQL: health_fund: Add new health fund "HCF" - MySQL: health_fund: edit single quote of "The Doctors’ Health Fund" - MySQL: update - therapist table structure ...

Decision procedures for the theory of term algebras with integer constraints. This theory can express mixed constraints on tree-like data structures with integer constraints on those data structures.

RESTful API for a product catalogue system is utilizing Java and MySQL to store and manage products with a complex, nested data structure. Features Create Product: Add new products to the catalogue.