GitHub repository: CLEARSY/pptranssmt
Primary language: C++
Created: 2022-10-04T08:57:25Z
Description: Translation of proof obligations generated by Atelier B to SMT-LIB 2.6 using the ppTrans approach