Giters

giuspek / formula2SMTLIB

Python tool to convert a string containing a formula into an SMT-LIB file.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

formula2SMTLIB

Python tool to convert a string containing a formula into an SMT-LIB file.

About

Python tool to convert a string containing a formula into an SMT-LIB file.

License:Apache License 2.0