I currently have only special-purpose branches and do not maintain a meaningful default branch. Please see upstream for more information about Corral.
cs0317 / corral Goto Github PK
View Code? Open in Web Editor NEWThis project forked from boogie-org/corral
solver for the reachability modulo theories problem