Package : picosat-devel
Package details
Summary: Development files for PicoSAT
Description:
Headers and other development files for PicoSAT.
URL: http://fmv.jku.at/picosat/
License: MIT-like
Maintainer: neoclust
Description:
Headers and other development files for PicoSAT.
URL: http://fmv.jku.at/picosat/
License: MIT-like
Maintainer: neoclust
List of RPMs
- picosat-devel-936-14.mga7.armv7hl.rpm (Mageia 7, armv7hl media, core-release) Install