[ol9_developer_EPEL] picosat-R-965-21.el9.x86_64

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.

Changelog (Show File list) (Show related packages)