PTLogica - Precise Solutions and Tools