sci-mathematics/picosat – Gentoo Packages

sci-mathematics/picosat-965 fails to compile: picomcs.c:(.text.startup+0x4ad): undefined reference to picosat_init
884531 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/picosat-965 - collect2: error: ld returned 1 exit status: ./libpicosat.so: file not recognized: file format not recognized
910686 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/picosat-965 fails to compile (MUSL-SYSTEM): picosat.c:8150:10: fatal error: unistd.h: No such file or directory
884867 - Assigned to Gentoo Science Mathematics related packages

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: