BSD Ports

math/py-smt 0.9.6nb2 NetBSD

Library for SMT formula manipulation and solving

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
apache-2.0
Categories
math, python
Package size
601.9 KiB, 5208.2 KiB installed

Description

pySMT is a solver-agnostic library for SMT Formulae manipulation and solving.

pySMT makes working with Satisfiability Modulo Theory simple:

  • Define formulae in a simple, intuitive, and solver independent way

  • Solve your formulae using one of the native solvers, or by wrapping any SMT-Lib compliant solver,

  • Dump your problems in the SMT-Lib format,

  • and more...

Install

Binary package:

pkgin install py311-smt

From pkgsrc:

cd /usr/pkgsrc/math/py-smt && make install clean

Dependencies

Run dependencies 1

No port depends on this one.

Configuration

No options to configure.

Service scripts
none
Flavors
py312-smt-0.9.6nb2, py313-smt-0.9.6nb2, py314-smt-0.9.6nb2