search

palvaro / molly

An implementation of LDFI
126 stars 23 forks source link

Update location of Z3 git repository in .gitmodules #2

Closed JoshRosen closed 8 years ago

JoshRosen commented 8 years ago

The Z3 repository has moved from Codeplex to GitHub, so we need to update the .gitmodules file in order for git submodule update to work.