projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebcdf22) | patch
Update INSTALL.md (#3714)
authormudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Tue, 4 Feb 2020 18:52:33 +0000 (12:52 -0600)
committerGitHub <noreply@github.com>
Tue, 4 Feb 2020 18:52:33 +0000 (12:52 -0600)
commit8eb622141694ecd8e31ad193f775b963d3fe8f5d
tree8ed5bdbc62dd77153281f5bd06a6bbf30d450e0btree
parentebcdf229513341d7c0636e0e7171e916ce56d536commit | diff
Update INSTALL.md (#3714)

Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
INSTALL.md diff | blob | history