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.i586.rpm (Mageia 7, i586 media, core-release) Install