Subject: CVS commit: pkgsrc/math/py-smt
From: Taylor R Campbell
Date: 2020-08-18 22:14:34
Message id: 20200818201434.1BEADFB28@cvs.NetBSD.org
Log Message:
Import PySMT-0.9.0 as math/py-smt.

pySMT is a solver-agnostic library for SMT Formulae manipulation and
solving.
Files:
RevisionActionfile
1.1addpkgsrc/math/py-smt/DESCR
1.1addpkgsrc/math/py-smt/Makefile
1.1addpkgsrc/math/py-smt/PLIST
1.1addpkgsrc/math/py-smt/distinfo