Revision 16ad755f94597cc47725a030ef1a65f94d4155c8

Language
View JSON

Package: python2-pycosat @ 0.6.3

Synopsis

Bindings to picosat (a SAT solver)

Description

This package provides efficient Python bindings to picosat on the C level. When importing pycosat, the picosat solver becomes part of the Python process itself. picosat is a Boolean Satisfiability Problem (SAT) solver.

Home page
https://github.com/ContinuumIO/pycosat
Location
gnu/packages/python-xyz.scm (line: 16558, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/jrs55gpqpibw102yrmdsxblml4xzq8sr-python2-pycosat-0.6.3.drv
powerpc64le-linux/gnu/store/xw0pd07dr9di3zy2xmiza5rx6045qxcx-python2-pycosat-0.6.3.drv
mips64el-linux/gnu/store/5ava78ai3bvh9q7dg5wnmadczf3ps8mj-python2-pycosat-0.6.3.drv
    i686-linux/gnu/store/d8a7z6krfzljpjkm3f91j8mk944zmnb0-python2-pycosat-0.6.3.drv
    i586-gnu/gnu/store/bm9yfjx5bxjicdypnicsfwfw13qcw6vc-python2-pycosat-0.6.3.drv
    armhf-linux/gnu/store/zplhzam3yx11ygcs6h5awsprrwda46jb-python2-pycosat-0.6.3.drv
    aarch64-linux/gnu/store/a7mc6kid12nbcdn78rq2bqiqgjzdn7iq-python2-pycosat-0.6.3.drv

    Lint warnings

    LinterMessageLocation
    No lint warnings ✓