In GaloisInc/flakes#7, it was noticed that building boolector using the default settings will cause some of boolector's own test cases to fail, since they rely on CaDiCaL support being enabled. GaloisInc/flakes#7 opted to resolve this issue by building boolector with CaDiCaL enabled. We should follow suit in what4-solvers.
In GaloisInc/flakes#7, it was noticed that building
boolectorusing the default settings will cause some ofboolector's own test cases to fail, since they rely on CaDiCaL support being enabled. GaloisInc/flakes#7 opted to resolve this issue by buildingboolectorwith CaDiCaL enabled. We should follow suit inwhat4-solvers.