GitHub repository: m-balesdent/otsmt
Primary language: Python
Description: Simple module that implements OpenTURNS API for SMT models