CI is failing on an unrelated pysmt-install issue. We're transition CI to a docker based flow in this branch (https://github.com/leonardt/fault/pull/289) so I may wait to get that working rather than fixing it here and having to deal with the conflicts. For now I'll just disable the msat install (this was used for the Cosa test and we're deprecating that for Pono anyways and the Pono tests uses boo lector so it's unnecessary)
CI is failing on an unrelated pysmt-install issue. We're transition CI to a docker based flow in this branch (https://github.com/leonardt/fault/pull/289) so I may wait to get that working rather than fixing it here and having to deal with the conflicts. For now I'll just disable the msat install (this was used for the Cosa test and we're deprecating that for Pono anyways and the Pono tests uses boo lector so it's unnecessary)