sci-mathematics / cadical

Simplified Satisfiability Solver

Official package sites : http://fmv.jku.at/cadical/ ·

The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change.

v1.5.3-r1 :: 0/1.5.3 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~x86

v1.5.2-r1 :: 0/1.5.2 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~x86
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/cadical: install ccadical.h
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/cadical: bump to 1.5.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/cadical: patch direct call to ar
Closes: https://bugs.gentoo.org/830175 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/cadical: new package; add version 1.5.2
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>