ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
24.2
cvc5/docs/installation
History
Gereon Kremer 4d9c96a34c Integrate installation instructions into documentation (#6814) 
This PR migrates the current INSTALL.md to an rst file and then includes it in the documentation. It also does some minor improvements to this file, in particular it now mentions --dep-path
2021-07-29 19:40:00 +00:00
..
installation.rst
Integrate installation instructions into documentation (#6814)
2021-07-29 19:40:00 +00:00