[ol8_developer_EPEL] picosat-965-11.el8.x86_64

Name:	picosat
Version:	965
Release:	11.el8
Architecture:	x86_64
Group:	Unspecified
Size:	114635
License:	MIT
RPM:	picosat-965-11.el8.x86_64.rpm
Source RPM:	picosat-965-11.el8.src.rpm
Build Date:	Thu Apr 22 2021
Build Host:	jenkins-172-17-0-2-18a4300b-b7f1-4847-9922-9efb8e6b3899.blddevtest1iad.osdevelopmeniad.oraclevcn.com
Vendor:	Oracle America
URL:	http://fmv.jku.at/picosat/
Summary:	A SAT solver
Description:	PicoSAT solves the SAT problem, which is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). PicoSAT can generate proofs and cores in memory by compressing the proof trace. It supports the proof format of TraceCheck.

Changelog (Show File list) (Show related packages)

Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 965-11
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
```
Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 965-10
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
```
Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 965-9
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
```
Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 965-8
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
```
Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 965-7
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
```
Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 965-6
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
```
Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 965-5
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
```
Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 965-4
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
```
Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 965-3
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
```
Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 965-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
```