summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3api/ProverLayer.cs
Commit message (Expand)AuthorAge
* further fixes to Z3api project trying to make it work; still a long way off.Gravatar qadeer2010-08-23
* Added the port of Z3api. It is simply a port to the latest version of Micros...Gravatar qadeer2010-08-20