[ol8_distro_builder] sat4j-2.3.5-15.module+el8.1.1+5566+dec719a4.noarch

The aim of the SAT4J library is to provide an efficient library of SAT
solvers in Java. The SAT4J library targets first users of SAT "black
boxes", those willing to embed SAT technologies into their application
without worrying about the details.

Changelog (Show File list) (Show related packages)

• Tue Jun 11 2019 Mat Booth <mat.booth@redhat.com> - 2.3.5-15

  - Fix license tag

• Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-14

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

• Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-13

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

• Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-12

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild

• Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-11

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

• Tue Jun 20 2017 Mat Booth <mat.booth@redhat.com> - 2.3.5-10

  - Install with xmvn

• Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-9

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild

• Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-8

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

• Tue Jul 14 2015 Mikolaj Izdebski <mizdebsk@redhat.com> - 2.3.5-7

  - Add build-requires on javapackages-local

• Mon Jun 22 2015 Mat Booth <mat.booth@redhat.com> - 2.3.5-6

  - Remove SCL macros and tidy spec