lrslib 0.7.3

lrslib.changes

@@ -1,3 +1,21 @@
+-------------------------------------------------------------------
+Sun Feb  9 22:24:17 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 7.3
+  * lrs is now multithreaded with limited parallelization on a
+    shared memory machine using OpenMP. lrs now evaluates in
+    parallel all children of the root in the search tree.
+  * minrep finds any hidden linearities and removes redundancy
+    giving a H/V description with minimum number of rows.
+  * `mplrs -minrep`: Fully parallelized version of minrep,
+    replaces `mplrs -redund`.
+  * `mplrs -fel` Does a fully parallel LP redundancy removal in
+    one step of Fourier-Motzin elimination.
+  * New features:
+  * Checks equivalency between H/V representations (possibly
+    after projections) using SMT solvers, see the polyv man page
+    for details.
+
 -------------------------------------------------------------------
 Sat Jul 16 20:21:34 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
 

lrslib.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package lrslib
 #
-# Copyright (c) 2022 SUSE LLC
+# Copyright (c) 2025 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -16,11 +16,11 @@
 #
 
 
-%define dullver	072
-%define dullver2 072
+%define dullver	073
+%define dullver2 073
 %define lname   liblrs1
 Name:           lrslib
-Version:        7.2
+Version:        7.3
 Release:        0
 Summary:        Reverse Search Vertex Enumeration program
 License:        GPL-2.0-or-later
@@ -73,7 +73,7 @@ applications that want to make use of lrslib.
 %autosetup -n %name-%dullver -p1
 
 %build
-%make_build CFLAGS="%optflags" CXXFLAGS="%optflags" \
+%make_build CFLAGS="%optflags -Ilrsarith-011" CXXFLAGS="%optflags -Ilrsarith-011" \
 	PACKAGE_VERSION="%version" all-shared
 
 %install
@@ -85,8 +85,7 @@ if [ "%_lib" != lib ]; then
 fi
 chmod a-x COPYING README "%buildroot/%_includedir/lrslib"/*.h
 
-%post   -n %lname -p /sbin/ldconfig
-%postun -n %lname -p /sbin/ldconfig
+%ldconfig_scriptlets -n %lname
 
 %files
 %_bindir/*