Merge pull request #35 from FelixVi/master
authorClifford Wolf <clifford@clifford.at>
Sun, 17 Mar 2019 11:27:44 +0000 (12:27 +0100)
committerGitHub <noreply@github.com>
Sun, 17 Mar 2019 11:27:44 +0000 (12:27 +0100)
commit7c0874c374b4e4d8e83565d20069a220a1bf43ed
treec9503339fb11de9c49be84bdbb3e49a270bbbc79
parent410db87ebcc0f811c93175802e2ed997bfdfabca
parente80ed3bc80e7640753410503c9901275fac555bb
Merge pull request #35 from FelixVi/master

Update Boolector build instructions