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


1.3
date	2026.11.08.13.51.53;	author alnsn;	state Exp;
branches;
next	1.2;
commitid	8pt01FmST4nu8F2H;

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.3
log
@Add pkg-config file for upcoming math/bitwuzla import.
@
text
@@@comment $NetBSD: PLIST,v 1.2 2026/06/30 22:52:48 alnsn Exp $
bin/cadical
include/cadical/cadical.hpp
include/cadical/tracer.hpp
lib/libcadical.a
lib/pkgconfig/cadical.pc
@


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
@d1 1
a1 1
@@comment $NetBSD$
d6 1
@


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
@d3 2
a4 1
include/cadical.hpp
@