Update Boolector build instructions
authorFelix Vietmeyer <FeViTechLLC@gmail.com>
Sat, 16 Mar 2019 21:47:47 +0000 (15:47 -0600)
committerFelix Vietmeyer <FeViTechLLC@gmail.com>
Sat, 16 Mar 2019 21:47:47 +0000 (15:47 -0600)
commite80ed3bc80e7640753410503c9901275fac555bb
treec9503339fb11de9c49be84bdbb3e49a270bbbc79
parent410db87ebcc0f811c93175802e2ed997bfdfabca
Update Boolector build instructions
docs/source/quickstart.rst