Name: | picosat-R |
---|---|
Version: | 965 |
Release: | 21.el9 |
Architecture: | x86_64 |
Group: | Unspecified |
Size: | 83538 |
License: | MIT |
RPM: | picosat-R-965-21.el9.x86_64.rpm |
Source RPM: | picosat-965-21.el9.src.rpm |
Build Date: | Tue May 07 2024 |
Build Host: | build-ol9-x86_64.oracle.com |
Vendor: | Oracle America |
URL: | http://fmv.jku.at/picosat/ |
Summary: | A SAT solver library for R |
Description: | The PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors. This version of the library is built for use with R projects. |
- R-maint-sig mass rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
- R-maint-sig mass rebuild
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
- Minor spec file cleanups
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild