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