bamapro-2019-ss merge requestshttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests2019-08-05T08:40:12Zhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/21Finally remove sbv-transformation2019-08-05T08:40:12ZBennet Bleßmannstu201758@mail.uni-kiel.deFinally remove sbv-transformationsbv-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)
- [x] @stu201758 Bennet
- [x] @stu20...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)
- [x] @stu201758 Bennet
- [x] @stu204767 Leif
- [x] @kaiprott Kai
- [x] @stu114663 Tammo
- [x] @tim Tim
- [x] @stu126216 David
- [x] @stu204529 Marvin
- [x] @era Eduardswitch from sbv to z3 libhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/merge_requests/20Z3 library2019-06-30T16:33:07ZKai ProttZ3 libraryAdd z3-library as a backend. Current support is limited to only basic datatypes.Add z3-library as a backend. Current support is limited to only basic datatypes.switch from sbv to z3 libKai ProttKai Prott