Summary
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.
Versions
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
Change logs
- 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>