kenmcmil

user stats

Member SinceJuly 12, 2011
Last VisitJune 8, 2015

User prefers to not be contacted.

developer for

Corral: A solver for reachability modulo theories
Microsoft Research Boogie
Z3
Z3 Test Suite

kenmcmil

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

No projects being followed.

forks

Z3: uquant