usi-verification-and-security/opensmt

The opensmt solver

C++

95

1,639 commits

updated Sep 22, 2026

Contributors

1,099 commits

146 commits

110 commits

106 commits

Languages

C++

56.4%

SMT

40.3%

CMake

1.1%

usi-verification-and-security/opensmt

The opensmt solver

C++

95

1,639 commits

updated Sep 22, 2026

Contributors

1,099 commits

146 commits

110 commits

106 commits

Languages

C++

56.4%

SMT

40.3%

CMake

1.1%