[ol10_u2_developer_EPEL] cadical-libs-1:2.1.3-1.el10_2.aarch64

Name:	cadical-libs
Epoch:	1
Version:	2.1.3
Release:	1.el10_2
Architecture:	aarch64
Group:	Unspecified
Size:	1087536
License:	MIT
RPM:	cadical-libs-2.1.3-1.el10_2.aarch64.rpm
Source RPM:	cadical-2.1.3-1.el10_2.src.rpm
Build Date:	Mon Mar 09 2026
Build Host:	build-ol10-aarch64.oracle.com
Vendor:	Oracle America
URL:	http://fmv.jku.at/cadical/
Summary:	Simplified SAT solver library
Description:	This package contains the CaDiCaL simplified Satisfiability solver as a library, for use in applications that need a SAT solver.

Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 1:2.1.3-1
```
- Version 2.1.3
```
Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.0.0-4
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
```
Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:2.0.0-3
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
```

Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 1:2.0.0-2

- Install more header files for cryptominisat
- Add a VCS field

Tue Jun 18 2024 Jerry James <loganjerry@gmail.com> - 1:2.0.0-1
```
- Version 2.0.0
```
Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 1:1.9.5-1
```
- Version 1.9.5
```
Tue Jan 23 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.9.4-3
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
```
Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.9.4-2
```
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
```
Wed Jan 10 2024 Jerry James <loganjerry@gmail.com> - 1:1.9.4-1
```
- Version 1.9.4
- Stop building for 32-bit x86
```
Sat Sep 16 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.4-1
```
- Version 1.7.4
```