Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: approxmc-git 3.0.r32.g1022b19-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/approxmc-git.git (read-only, click to copy)
Package Base:	approxmc-git
Description:	Approximate Model Counter for SAT/CNF
Upstream URL:	https://github.com/meelgroup/ApproxMC
Licenses:	MIT
Conflicts:	approxmc
Provides:	approxmc
Submitter:	keenerd
Maintainer:	keenerd
Last Packager:	keenerd
Votes:	0
Popularity:	0.000000
First Submitted:	2019-04-30 00:49 (UTC)
Last Updated:	2019-04-30 00:49 (UTC)

Dependencies (5)

cryptominisat5-git^AUR
boost (boost-git^AUR) (make)
cmake (cmake-git^AUR) (make)
git (git-git^AUR, git-gl^AUR) (make)
help2man (help2man-git^AUR, python-help2man^AUR) (make)

Required by (0)

Sources (1)

git+https://github.com/meelgroup/ApproxMC/