search

palvaro / molly

An implementation of LDFI
126 stars 23 forks source link

z3 moved to github #4

Closed furuholm closed 8 years ago

furuholm commented 8 years ago

Seems that z3 is no longer on codeplex. Updated .gitmodules.

furuholm commented 8 years ago

Saw now that there already was a PR for this. Sorry...