sbv-transformation is long out dated and doesn't even compile anymore and as the switch to z3 has been completed. This pull request removes the remainder of sbv (except comments still referencing it)
-
@stu201758 Bennet -
@stu204767 Leif -
@kaiprott Kai -
@stu114663 Tammo -
@tim Tim -
@stu126216 David -
@stu204529 Marvin -
@era Eduard