Package Details: python-pysmt-git 0.9.0.r86.g131a275-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
Last Updated: 2020-12-24 17:02

Dependencies (4)

Required by (0)

Sources (1)