Package Details: python-pysat-git 0.1.6.dev6.r16.g58a7658-1

Git Clone URL: https://aur.archlinux.org/python-pysat-git.git (read-only, click to copy)
Package Base: python-pysat-git
Description: A toolkit for SAT-based prototyping in Python
Upstream URL: https://github.com/pysathq/pysat
Licenses: MIT
Conflicts: python-pysat
Provides: python-pysat
Submitter: xiretza
Maintainer: None
Last Packager: xiretza
Votes: 0
Popularity: 0.000000
First Submitted: 2021-03-03 19:21 (UTC)
Last Updated: 2021-03-03 19:21 (UTC)

Dependencies (4)

Required by (0)

Sources (1)

Latest Comments

tuxayo commented on 2025-03-31 00:04 (UTC)

Same error. Skipping check() reveals a conflict with python-python-sat

python-pysat-git: /usr/bin/approxmc.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/fm.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/genhard.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/lbx.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/lsu.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/mcsls.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/models.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/musx.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/optux.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/rc2.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)
python-pysat-git: /usr/bin/unigen.py ekzistas en dosiersistemo (python-python-sat ĝin posedas)

Pulec commented on 2025-01-12 08:43 (UTC)

The tests seem to require "pycard" module? What the heck is that?