# The math/py-pysmt,python3 port

## py3-PySMT-0.8.0p2 – library for SMT formulae manipulation and solving

## Description

    pySMT makes working with Satisfiability Modulo Theory simple.

    Among others, you can:

    * Define formulae in a solver independent way in a simple and
      inutitive way,
    * Write ad-hoc simplifiers and operators,
    * Dump your problems in the SMT-Lib format,
    * Solve them using one of the native solvers, or by wrapping any
      SMT-Lib complaint solver.

WWW: http://www.pysmt.org

Categories:
  lang/python math

## Library dependencies

## Build dependencies

- devel/py-setuptools,python3
- lang/python/3.8

## Run dependencies

- devel/py-setuptools,python3
- devel/py-six,python3
- lang/python/3.8