gpo.zugaina.org

Search Portage & Overlays:

dev-python/pycosat

Python bindings to picosat (a SAT solver)

Screenshots

  • pycosat-0.6.6
    amd64 ~arm64 ~riscv ~x86
    test python_targets_python3_10 python_targets_python3_11

    View      Download      Browse     License: MIT   
    Overlay: gentoo-zh
  • pycosat-0.6.3
    amd64 ~arm64 ~riscv ~x86
    test python_targets_pypy3 python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 python_targets_python3_11

    View      Download      Browse     License: MIT   

ChangeLog

commit b6b381f45043b65577f6c4ff9cf3a89e5d9184a3
Author: Yachen Wang <OriPoin@outlook.com>
Date: Mon Jan 15 11:11:49 2024 +0800

dev-python/pycosat: move upstream to conda, drop pypy3

commit 24993a43b9f5ef5df47b8d876dcbfbfde1b4b8a9
Author: Yongxiang Liang <tanekliang@gmail.com>
Date: Tue Nov 14 22:13:47 2023 +0800

*/*: fixed EmptyGlobalAssignment

commit b0bcf5872ca762cc80bb3a8afc4ca3f6734bc87d
Author: Linerre <leon.errelin@outlook.com>
Date: Sun Nov 12 11:11:44 2023 +0800

dev-python/pycosat: add 0.6.6, drop 0.6.4

Signed-off-by: Linerre <leon.errelin@outlook.com>

commit 2b86ef61d5c22ee39cdc0bc98e9ae630e068018a
Author: Yachen Wang <OriPoin@outlook.com>
Date: Wed Jan 18 11:57:36 2023 +0800

dev-python/pycosat: bump to 0.6.4

commit 35b8b785acc34502972e41da2a173b93d456e7e1
Author: Huang Rui <vowstar@gmail.com>
Date: Mon Jul 4 11:44:12 2022 +0800

dev-python/{conda*,pycosat}: enable python 3.10

Signed-off-by: Huang Rui <vowstar@gmail.com>

commit 7f9de771dcdb830932d092e8e831502ac59f09e0
Author: Yachen <43339583+OriPoin@users.noreply.github.com>
Date: Wed Dec 8 16:08:25 2021 +0800

dev-python/pycosat:fix QA Notice (#1448)

https://bugs.gentoo.org/826106

Signed-off-by: Yachen Wang <OriPoin@outlook.com>

commit 85a97c41e3f9f5ca930badad5d6f005f1523ebc1
Author: Register <458892+aieu@users.noreply.github.com>
Date: Mon Sep 13 19:00:16 2021 +0800

**/metadata.xml: Replace http by https in DOCTYPE element (#1197)

Bug: https://bugs.gentoo.org/552720
Signed-off-by: Register <458892+aieu@users.noreply.github.com>

commit 402a7bad8875e0c598be08f9654e7e8a51e38fd2
Author: 梁永祥 <tanekliang@gmail.com>
Date: Mon Jul 19 22:16:47 2021 +0800

*/*: Mainfest restore SHA512 checksum (#1119)

Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>

commit 3288e0f89dd6e96a034a10f27c60ef949f72221f
Author: 梁永祥 <tanekliang@gmail.com>
Date: Thu Jun 10 10:33:59 2021 +0800

*/*: switch blake2b manifest hash (#984)

Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>

commit 7317efb391fbca82d2c458ff3661fb593f95fe7b
Author: Yachen Wang <OriPoin@outlook.com>
Date: Mon Jun 7 18:33:50 2021 +0800

dev-python/pycosat:Python bindings to picosat (a SAT solver)

Signed-off-by: Yachen Wang <OriPoin@outlook.com>