[ol7_developer_EPEL] picosat-libs-965-2.el7.aarch64

Name:picosat-libs
Version:965
Release:2.el7
Architecture:aarch64
Group:Unspecified
Size:276454
License:MIT
RPM: picosat-libs-965-2.el7.aarch64.rpm
Source RPM: picosat-965-2.el7.src.rpm
Build Date:Thu May 31 2018
Build Host:ca-buildarm02.us.oracle.com
Vendor:Oracle America
URL:http://fmv.jku.at/picosat/
Summary:A SAT solver library
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.

Changelog (Show File list) (Show related packages)