projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 747a9a2) | patch
Update INSTALL instructions (#2420)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 4 Sep 2018 22:34:43 +0000 (15:34 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Tue, 4 Sep 2018 22:34:43 +0000 (15:34 -0700)
commitdd98af783ca7236acca3ee5d5bbcd0bf1df7828a
treea2e837deba3bcbc4a13de1d899e4314984859f9btree
parent747a9a248da073911e1c0da34c38f0648421a087commit | diff
Update INSTALL instructions (#2420)

Fixes #2419. This commit adds more information about optional
dependencies, updates macOS-related information, and fixes some details.
INSTALL diff | blob | history