# This file created by conda-build 3.22.0
# meta.yaml template originally from:
# /work/aggregate/pycosat-feedstock/recipe, last modified Mon Feb 13 19:13:09 2023
# ------------------------------------------------
package:
name: pycosat
version: 0.6.4
source:
sha256: 79ffa99156810e58876dd6374af0b7bff88f9a4580ca8b8468c414c5c2454bb8
url: https://github.com/conda/pycosat/archive/0.6.4.tar.gz
build:
number: '0'
script: /work/ci_py311/pycosat_1676838522308/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_p/bin/python
-m pip install . --no-deps -vv
string: py311h5eee18b_0
requirements:
build:
- _libgcc_mutex 0.1 main
- _openmp_mutex 5.1 1_gnu
- _sysroot_linux-64_curr_repodata_hack 3 haa98f57_10
- binutils_impl_linux-64 2.38 h2a08ee3_1
- binutils_linux-64 2.38.0 hc2dff05_0
- bzip2 1.0.8 h7b6447c_0
- ca-certificates 2023.01.10 h06a4308_0
- certifi 2022.12.7 py311h06a4308_0
- gcc_impl_linux-64 11.2.0 h1234567_1
- gcc_linux-64 11.2.0 h5c386dc_0
- kernel-headers_linux-64 3.10.0 h57e8cba_10
- ld_impl_linux-64 2.38 h1181459_1
- libffi 3.4.2 h6a678d5_6
- libgcc-devel_linux-64 11.2.0 h1234567_1
- libgcc-ng 11.2.0 h1234567_1
- libgomp 11.2.0 h1234567_1
- libstdcxx-ng 11.2.0 h1234567_1
- libuuid 1.41.5 h5eee18b_0
- ncurses 6.4 h6a678d5_0
- openssl 1.1.1t h7f8727e_0
- pip 22.3.1 py311h06a4308_0
- python 3.11.0 h7a1cb2a_2
- readline 8.2 h5eee18b_0
- setuptools 65.5.0 py311h06a4308_0
- sqlite 3.40.1 h5082296_0
- sysroot_linux-64 2.17 h57e8cba_10
- tk 8.6.12 h1ccaba5_0
- tzdata 2022g h04d1e81_0
- wheel 0.37.1 pyhd3eb1b0_0
- xz 5.2.10 h5eee18b_1
- zlib 1.2.13 h5eee18b_0
host:
- _libgcc_mutex 0.1 main
- _openmp_mutex 5.1 1_gnu
- bzip2 1.0.8 h7b6447c_0
- ca-certificates 2023.01.10 h06a4308_0
- certifi 2022.12.7 py311h06a4308_0
- ld_impl_linux-64 2.38 h1181459_1
- libffi 3.4.2 h6a678d5_6
- libgcc-ng 11.2.0 h1234567_1
- libgomp 11.2.0 h1234567_1
- libstdcxx-ng 11.2.0 h1234567_1
- libuuid 1.41.5 h5eee18b_0
- ncurses 6.4 h6a678d5_0
- openssl 1.1.1t h7f8727e_0
- pip 22.3.1 py311h06a4308_0
- python 3.11.0 h7a1cb2a_2
- readline 8.2 h5eee18b_0
- setuptools 65.5.0 py311h06a4308_0
- sqlite 3.40.1 h5082296_0
- tk 8.6.12 h1ccaba5_0
- tzdata 2022g h04d1e81_0
- wheel 0.37.1 pyhd3eb1b0_0
- xz 5.2.10 h5eee18b_1
- zlib 1.2.13 h5eee18b_0
run:
- libgcc-ng >=11.2.0
- python >=3.11,<3.12.0a0
test:
commands:
- pip check
- python test_package.py "0.6.4"
files:
- qg3-08.cnf
- sudoku.py
- test_package.py
- uf20-098.cnf
imports:
- pycosat
requires:
- pip
about:
description: 'PicoSAT is a popular SAT solver written by Armin Biere in pure C.
This
package provides efficient Python bindings to picosat on the C level, i.e.
when importing pycosat, the picosat solver becomes part of the Python
process itself.
'
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/
home: https://github.com/conda/pycosat
license: MIT
license_family: MIT
license_file:
- LICENSE
license_url: https://github.com/conda/pycosat/blob/0.6.4/LICENSE
summary: Bindings to picosat (a SAT solver)
extra:
copy_test_source_files: true
final: true
recipe-maintainers:
- jakirkham
- kalefranz
- mcg1969
- mingwandroid
- msarahan
- nehaljwani
- pelson