File: C:/Users/fred/miniconda3/pkgs/pycosat-0.6.6-py312h2bbff1b_1/info/recipe/meta.yaml
# This file created by conda-build 24.3.0
# meta.yaml template originally from:
# C:\b\abs_5csdern___\clone\recipe, last modified Tue Apr 30 22:37:59 2024
# ------------------------------------------------
package:
name: pycosat
version: 0.6.6
source:
sha256: b0014986321e77a36d8fe24827698aae076500c817133a700608bd677b77a998
url: https://github.com/conda/pycosat/archive/0.6.6.tar.gz
build:
number: '1'
script: C:\\b\\abs_5csdern___\\croot\\pycosat_1714513102923\\_h_env\\python.exe
-m pip install . --no-deps -vv
string: py312h2bbff1b_1
requirements:
build:
- bzip2 1.0.8 h2bbff1b_5
- ca-certificates 2024.3.11 haa95532_0
- expat 2.6.2 hd77b12b_0
- libffi 3.4.4 hd77b12b_1
- openssl 3.0.13 h2bbff1b_0
- pip 23.3.1 py312haa95532_0
- python 3.12.3 h1d929f7_0
- setuptools 68.2.2 py312haa95532_0
- sqlite 3.45.3 h2bbff1b_0
- tk 8.6.12 h2bbff1b_0
- tzdata 2024a h04d1e81_0
- vc 14.2 h21ff451_1
- vs2015_runtime 14.27.29016 h5e58377_2
- vs2017_win-64 19.16.27032.1 hb4161e2_3
- vswhere 2.8.4 haa95532_0
- wheel 0.41.2 py312haa95532_0
- xz 5.4.6 h8cc25b3_0
- zlib 1.2.13 h8cc25b3_0
host:
- bzip2 1.0.8 h2bbff1b_5
- ca-certificates 2024.3.11 haa95532_0
- expat 2.6.2 hd77b12b_0
- libffi 3.4.4 hd77b12b_1
- openssl 3.0.13 h2bbff1b_0
- pip 23.3.1 py312haa95532_0
- python 3.12.3 h1d929f7_0
- setuptools 68.2.2 py312haa95532_0
- sqlite 3.45.3 h2bbff1b_0
- tk 8.6.12 h2bbff1b_0
- tzdata 2024a h04d1e81_0
- vc 14.2 h21ff451_1
- vs2015_runtime 14.27.29016 h5e58377_2
- wheel 0.41.2 py312haa95532_0
- xz 5.4.6 h8cc25b3_0
- zlib 1.2.13 h8cc25b3_0
run:
- python >=3.12,<3.13.0a0
- vc >=14.1,<15.0a0
- vs2015_runtime >=14.16.27012,<15.0a0
test:
commands:
- pip check
- python test_package.py "0.6.6"
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.6/LICENSE
summary: Bindings to picosat (a SAT solver)
extra:
copy_test_source_files: true
final: true
flow_run_id: 5cec69f5-4814-4247-9018-57ff2d15ac5e
recipe-maintainers:
- jakirkham
- kalefranz
- mcg1969
- mingwandroid
- msarahan
- nehaljwani
- pelson
remote_url: [email protected]:AnacondaRecipes/pycosat-feedstock.git
sha: dc25cc6e60242b93fedcbf494807e03cf55910f7