123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109 |
- {
- "channels": [
- "https://repo.anaconda.com/pkgs/main"
- ],
- "conda_build_version": "3.22.0",
- "conda_private": false,
- "conda_version": "4.14.0",
- "description": "PicoSAT is a popular SAT solver written by Armin Biere in pure C. This\npackage provides efficient Python bindings to picosat on the C level, i.e.\nwhen importing pycosat, the picosat solver becomes part of the Python\nprocess itself.\n",
- "dev_url": "https://github.com/conda/pycosat",
- "doc_source_url": "https://github.com/conda/pycosat/blob/master/README.rst",
- "doc_url": "https://pypi.org/project/pycosat/",
- "env_vars": {
- "CIO_TEST": "<not set>"
- },
- "extra": {
- "copy_test_source_files": true,
- "final": true,
- "flow_run_id": "31bb377e-4f5a-48d3-893a-3135cd08bdaf",
- "recipe-maintainers": [
- "jakirkham",
- "kalefranz",
- "mcg1969",
- "msarahan",
- "pelson",
- "nehaljwani",
- "mingwandroid"
- ],
- "remote_url": "git@github.com:AnacondaRecipes/pycosat-feedstock.git",
- "sha": "18eedcf1f31f03a7e1ac629331f92a182cb57adb"
- },
- "home": "https://github.com/conda/pycosat",
- "identifiers": [],
- "keywords": [],
- "license": "MIT",
- "license_family": "MIT",
- "license_file": [
- "LICENSE"
- ],
- "license_url": "https://github.com/conda/pycosat/blob/0.6.4/LICENSE",
- "root_pkgs": [
- "_libgcc_mutex 0.1 main",
- "brotlipy 0.7.0 py39h27cfd23_1003",
- "charset-normalizer 2.0.4 pyhd3eb1b0_0",
- "idna 3.3 pyhd3eb1b0_0",
- "libffi 3.3 he6710b0_2",
- "pycosat 0.6.3 py39h27cfd23_0",
- "pycparser 2.21 pyhd3eb1b0_0",
- "pyopenssl 22.0.0 pyhd3eb1b0_0",
- "pysocks 1.7.1 py39h06a4308_0",
- "readline 8.1.2 h7f8727e_1",
- "ruamel_yaml 0.15.100 py39h27cfd23_0",
- "six 1.16.0 pyhd3eb1b0_1",
- "wheel 0.37.1 pyhd3eb1b0_0",
- "yaml 0.2.5 h7b6447c_0",
- "_openmp_mutex 5.1 1_gnu",
- "beautifulsoup4 4.11.1 py39h06a4308_0",
- "bzip2 1.0.8 h7b6447c_0",
- "ca-certificates 2022.07.19 h06a4308_0",
- "certifi 2022.9.14 py39h06a4308_0",
- "cffi 1.15.1 py39h74dc2b5_0",
- "chardet 4.0.0 py39h06a4308_1003",
- "conda 4.14.0 py39h06a4308_0",
- "conda-build 3.22.0 py39h06a4308_0",
- "conda-package-handling 1.9.0 py39h5eee18b_0",
- "cryptography 37.0.1 py39h9ce1e76_0",
- "cytoolz 0.11.0 py39h27cfd23_0",
- "filelock 3.6.0 pyhd3eb1b0_0",
- "glob2 0.7 pyhd3eb1b0_0",
- "icu 58.2 he6710b0_3",
- "jinja2 2.11.3 pyhd3eb1b0_0",
- "ld_impl_linux-64 2.38 h1181459_1",
- "libarchive 3.6.1 hab531cd_0",
- "libgcc-ng 11.2.0 h1234567_1",
- "libgomp 11.2.0 h1234567_1",
- "liblief 0.11.5 h295c915_1",
- "libstdcxx-ng 11.2.0 h1234567_1",
- "libxml2 2.9.14 h74e7548_0",
- "lz4-c 1.9.3 h295c915_1",
- "markupsafe 2.0.1 py39h27cfd23_0",
- "ncurses 6.3 h5eee18b_3",
- "openssl 1.1.1q h7f8727e_0",
- "patch 2.7.6 h7b6447c_1001",
- "patchelf 0.13 h295c915_0",
- "pip 22.1.2 py39h06a4308_0",
- "pkginfo 1.8.2 pyhd3eb1b0_0",
- "psutil 5.9.0 py39h5eee18b_0",
- "py-lief 0.11.5 py39h295c915_1",
- "python 3.9.13 haa1d7c7_1",
- "python-libarchive-c 2.9 pyhd3eb1b0_1",
- "pytz 2022.1 py39h06a4308_0",
- "pyyaml 6.0 py39h7f8727e_1",
- "requests 2.28.1 py39h06a4308_0",
- "ripgrep 13.0.0 hbdeaff8_0",
- "setuptools 63.4.1 py39h06a4308_0",
- "soupsieve 2.3.1 pyhd3eb1b0_0",
- "sqlite 3.39.2 h5082296_0",
- "tk 8.6.12 h1ccaba5_0",
- "toml 0.10.2 pyhd3eb1b0_0",
- "toolz 0.11.2 pyhd3eb1b0_0",
- "tqdm 4.64.0 py39h06a4308_0",
- "tzdata 2022c h04d1e81_0",
- "urllib3 1.26.11 py39h06a4308_0",
- "xz 5.2.5 h7f8727e_1",
- "zlib 1.2.12 h5eee18b_3",
- "zstd 1.5.2 ha4553b6_0"
- ],
- "summary": "Bindings to picosat (a SAT solver)",
- "tags": []
- }
|