GitHub repository: CLEARSY/b2smtlib
Primary language: C++
Created: 2024-11-20T07:48:34Z
Description: Generates SMT-LIB 2.6 encodings for proof obligations from Atelier B.