version = "2.4.3"
description = "Automated theorem prover including linear arithmetic"
requires = ""
