Package Details: python-pysmt-git 0.9.6.r5.g8767a7e-1

Git Clone URL: https://aur.archlinux.org/python-pysmt-git.git (read-only, click to copy)
Package Base: python-pysmt-git
Description: A library for SMT formulae manipulation and solving
Upstream URL: https://github.com/pysmt/pysmt
Licenses: Apache
Conflicts: python-pysmt
Provides: python-pysmt
Submitter: kyechou
Maintainer: kyechou
Last Packager: kyechou
Votes: 0
Popularity: 0.000000
First Submitted: 2019-11-13 09:51 (UTC)
Last Updated: 2024-07-06 17:29 (UTC)

Required by (0)

Sources (1)