[Verifpal] Verifpal 0.3

Nadim Kobeissi nadim at symbolic.software
Thu Aug 29 13:32:44 CEST 2019

Hello everyone,

Verifpal 0.3 has been released:

	• Fix: terminate on extremely tiny and simple models.
	• Fix: capitalize generator constant in pretty-printing.

Have a wonderful day,

Nadim Kobeissi
Symbolic Software • https://symbolic.software

More information about the Verifpal mailing list