head	1.2;
access;
symbols
	pkgsrc-2026Q3:1.2.0.2
	pkgsrc-2026Q3-base:1.2;
locks; strict;
comment	@# @;


1.2
date	2026.06.30.22.52.48;	author alnsn;	state Exp;
branches;
next	1.1;
commitid	KkaGpnixwEBZjSLG;

1.1
date	2026.06.28.16.22.35;	author alnsn;	state Exp;
branches;
next	;
commitid	Y2fzSvsWOGDPeALG;


desc
@@


1.2
log
@Downgrade a very recently added math/cadical to 2.1.3.

Version 3.0.0 isn't supported by cvc5:
  https://github.com/cvc5/cvc5/issues/12611

Make other changes to help cvc5 find cadical in /usr/pkg:
 - add tracer.hpp
 - move headers to include/cadical
@
text
@$NetBSD: distinfo,v 1.1 2026/06/28 16:22:35 alnsn Exp $

BLAKE2s (cadical-2.1.3.tar.gz) = 500c8512bbfcdbfc08ab2affeaf88f870cc18191b00441ba4c1de687fcd292d2
SHA512 (cadical-2.1.3.tar.gz) = 8bcd6a6a432ee219909e87613e026b8b6de309ad517e4fea1d8233716ed288ae127f3ac195f8f5504187e28c23295470a9d399ff62fbdc63532e5e9e4f9c864e
Size (cadical-2.1.3.tar.gz) = 731545 bytes
@


1.1
log
@Import math/cadical from wip, update to 3.0.0, add TEST_TARGET.

The goal of the development of CaDiCaL was to obtain a CDCL solver,
which is easy to understand and change, while at the same time not
being much slower than other state-of-the-art CDCL solvers.
@
text
@d1 1
a1 1
$NetBSD$
d3 3
a5 3
BLAKE2s (cadical-3.0.0.tar.gz) = fe6e9d0d8b5038146f22ac811034836d2115777850d544d100f98e4113052156
SHA512 (cadical-3.0.0.tar.gz) = df0149ca658d55a6c0dbd6209ddf21578ccfc2142eae76847302a7fb9716d25b1ca4ead7cc79cf5d63f0e71538aaa0d94863c0bb3c77a0287b78bf15316eec56
Size (cadical-3.0.0.tar.gz) = 885834 bytes
@