CVS commit: pkgsrc/math/yices2

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sat Feb 28 11:28:44 UTC 2026

Modified Files:
        pkgsrc/math/yices2: Makefile PLIST distinfo
Removed Files:
        pkgsrc/math/yices2/patches: patch-Makefile.build patch-autoconf_os
            patch-configure.ac patch-src_Makefile patch-src_utils_bit__tricks.h

Log Message:
Update devel/yices2 to version 2.6.5.

Yices 2.6.5:

New Features:
- Arrays support in the MCSat solver
- MCSat Thread Safety
- New logics: QF_AUFBVLIA, QF_UFBVLIA, QF_BVLRA, QF_AUFBVNIA, QF_UFBVNIA
- Set static variable order in the MCSat solver
- Set initial var order in the MCSat solver
- Parallel make check
- Plugin decision hint queue in the MCSat solver

Many fixes

Yices 2.6.4:

New features:
- solving modulo a model in the MCSAT solver
- interpolant generation (also in MCSAT)
- support for the UF theory (uninterpreted functions with quantifiers)
- optional support for the Kissat backend sat solver

Yices 2.6.3 (Pre-release):

This is a release candidate for 2.6.4. It reports itself as 2.6.4,
so once we are happy with it we can just call it 2.6.4 without
further futzing with the code.

Yices 2.6.2:

New features
- support for bit-vectors in MCSAT
- optional use of CaDiCaL or CryptoMiniSAT as backend SAT solvers
- more flexibility in displaying models (for yices-smt2)
- new command in the yices-language frontend to reduce models
- export SMT-LIB2 bit-vector problems to DIMACS
- API improvements

Many bug fixed


To generate a diff of this commit:
cvs rdiff -u -r1.6 -r1.7 pkgsrc/math/yices2/Makefile
cvs rdiff -u -r1.1.1.1 -r1.2 pkgsrc/math/yices2/PLIST
cvs rdiff -u -r1.3 -r1.4 pkgsrc/math/yices2/distinfo
cvs rdiff -u -r1.1.1.1 -r0 pkgsrc/math/yices2/patches/patch-Makefile.build \
    pkgsrc/math/yices2/patches/patch-autoconf_os \
    pkgsrc/math/yices2/patches/patch-configure.ac \
    pkgsrc/math/yices2/patches/patch-src_Makefile \
    pkgsrc/math/yices2/patches/patch-src_utils_bit__tricks.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/yices2/Makefile
diff -u pkgsrc/math/yices2/Makefile:1.6 pkgsrc/math/yices2/Makefile:1.7
--- pkgsrc/math/yices2/Makefile:1.6     Mon Jan 27 20:32:17 2025
+++ pkgsrc/math/yices2/Makefile Sat Feb 28 11:28:44 2026
@@ -1,7 +1,7 @@
-# $NetBSD: Makefile,v 1.6 2025/01/27 20:32:17 wiz Exp $
+# $NetBSD: Makefile,v 1.7 2026/02/28 11:28:44 alnsn Exp $
 
 DISTNAME=      Yices-${PKGVERSION}
-PKGNAME=       yices2-2.6.1
+PKGNAME=       yices2-2.6.5
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=SRI-CSL/}
 GITHUB_TAG=    ${DISTNAME}

Index: pkgsrc/math/yices2/PLIST
diff -u pkgsrc/math/yices2/PLIST:1.1.1.1 pkgsrc/math/yices2/PLIST:1.2
--- pkgsrc/math/yices2/PLIST:1.1.1.1    Sat Aug 24 22:09:16 2019
+++ pkgsrc/math/yices2/PLIST    Sat Feb 28 11:28:44 2026
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
+@comment $NetBSD: PLIST,v 1.2 2026/02/28 11:28:44 alnsn Exp $
 bin/yices
 bin/yices-sat
 bin/yices-smt
@@ -7,5 +7,6 @@ include/yices.h
 include/yices_exit_codes.h
 include/yices_limits.h
 include/yices_types.h
+lib/libyices.a
 lib/libyices.so
 lib/libyices.so.${PKGVERSION}

Index: pkgsrc/math/yices2/distinfo
diff -u pkgsrc/math/yices2/distinfo:1.3 pkgsrc/math/yices2/distinfo:1.4
--- pkgsrc/math/yices2/distinfo:1.3     Tue Oct 26 10:56:13 2021
+++ pkgsrc/math/yices2/distinfo Sat Feb 28 11:28:44 2026
@@ -1,10 +1,5 @@
-$NetBSD: distinfo,v 1.3 2021/10/26 10:56:13 nia Exp $
+$NetBSD: distinfo,v 1.4 2026/02/28 11:28:44 alnsn Exp $
 
-BLAKE2s (Yices-2.6.1.tar.gz) = 1024ef15975d85ff22821a530464581fc6a23429ca723883349831afb3a3bc43
-SHA512 (Yices-2.6.1.tar.gz) = 586f24a8e3da45726ee69f4b3a744f2c04c3b400304319c00667c81c6799a846906ed580a9c4dd0df87a23ddb8e4fefb0b8ab60c13c19dc29243ba116717d1f2
-Size (Yices-2.6.1.tar.gz) = 8903749 bytes
-SHA1 (patch-Makefile.build) = 64c6ae7101c6dd20f455e7575ce8c59fd518152a
-SHA1 (patch-autoconf_os) = fd055ab19f49921aece028df67668613ae089b3c
-SHA1 (patch-configure.ac) = 5c4579cfd0e6cc1d6f9a1315f0b4db28048febb0
-SHA1 (patch-src_Makefile) = 38bb8236d9eacd919c8afc3ed5ae0c9ea1b0233a
-SHA1 (patch-src_utils_bit__tricks.h) = 0abcd0244cb55e7889aab3550af6c25ae3c88850
+BLAKE2s (Yices-2.6.5.tar.gz) = 8d9cd5f06281d2cd3e01ffefdcbca35704369953b0bf111e5749bfcdda91d42d
+SHA512 (Yices-2.6.5.tar.gz) = 8f01c6d516f2aa901b30e9248c3df78930e670c8e1a795b1bb112561f4e338e6e11eadfc2e6cbfc089f6593561b5874fbe816be677dd09c0834a01829c5cf490
+Size (Yices-2.6.5.tar.gz) = 10389496 bytes