Current File : /home/inlingua/miniconda3/pkgs/pycosat-0.6.6-py312h5eee18b_2/info/recipe/meta.yaml.template

{% set name = "pycosat" %}
{% set version = "0.6.6" %}

package:
  name: {{ name }}
  version: {{ version }}

source:
  url: https://github.com/conda/{{ name }}/archive/{{ version }}.tar.gz
  sha256: b0014986321e77a36d8fe24827698aae076500c817133a700608bd677b77a998
  patches:
    # Patch for unittest.makeSuite (removed in Python 3.13+)
    - patches/0001-GH-100-Replace-unittest.makeSuite-with-unittest.defaultTest.patch

build:
  number: 2
  script: {{ PYTHON }} -m pip install . --no-deps -vv --no-build-isolation

requirements:
  build:
    - python                                 # [build_platform != target_platform]
    - cross-python_{{ target_platform }}     # [build_platform != target_platform]
    - {{ compiler('c') }}
    - patch     # [unix]
    - m2-patch  # [win]
  host:
    - msinttypes  # [win and py2k]
    - python
    - pip
    - setuptools
    - wheel
  run:
    - python

test:
  files:
    - qg3-08.cnf
    - uf20-098.cnf
    - sudoku.py
    - test_package.py
  requires:
    - pip
  imports:
    - pycosat
  commands:
    - pip check
    - python test_package.py "{{ version }}"

about:
  home: https://github.com/conda/pycosat
  license: MIT
  license_family: MIT
  license_url: https://github.com/conda/pycosat/blob/{{ version }}/LICENSE
  summary: Bindings to picosat (a SAT solver)
  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.
  doc_url: https://github.com/conda/pycosat/blob/master/README.rst
  dev_url: https://github.com/conda/pycosat

extra:
  recipe-maintainers:
    - jakirkham
    - kalefranz
    - mcg1969
    - msarahan
    - pelson
    - nehaljwani
    - mingwandroid