Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
cadical
Simplified Satisfiability Solver
http://fmv.jku.at/cadical/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-06-27
sci-mathematics/cadical: bump to 2.0.0
d38c265
Maciej Barć
committed on 2024-06-27 22:42:21 UTC
sci-mathematics/cadical/cadical-2.0.0.ebuild
sci-mathematics/cadical/files/cadical-makefile-in-respect-ar-2.0.0.patch
sci-mathematics/cadical/Manifest
sci-mathematics/cadical: drop old 1.9.4
7c11cfa
Maciej Barć
committed on 2024-06-27 22:42:21 UTC
sci-mathematics/cadical/Manifest
sci-mathematics/cadical/cadical-1.9.4.ebuild
Commits on 2024-03-04
sci-mathematics/cadical: bump to 1.9.5
c586957
Maciej Barć
committed on 2024-03-04 21:57:02 UTC
sci-mathematics/cadical/cadical-1.9.5.ebuild
sci-mathematics/cadical/Manifest
sci-mathematics/cadical: drop old 1.8.0
7adbd5c
Maciej Barć
committed on 2024-03-04 21:57:01 UTC
sci-mathematics/cadical/Manifest
sci-mathematics/cadical/cadical-1.8.0.ebuild
Commits on 2024-02-08
sci-mathematics/cadical: bump to 1.9.4
8ff0e29
Maciej Barć
committed on 2024-02-08 10:31:26 UTC
sci-mathematics/cadical/cadical-1.9.4.ebuild
sci-mathematics/cadical/Manifest
sci-mathematics/cadical: drop old 1.5.3-r1
0db7bc2
Maciej Barć
committed on 2024-02-08 10:31:26 UTC
sci-mathematics/cadical/Manifest
sci-mathematics/cadical/cadical-1.5.3-r1.ebuild
Commits on 2023-10-07
sci-mathematics/cadical: bump to 1.8.0
3f9ce22
Maciej Barć
committed on 2023-10-07 22:39:05 UTC
sci-mathematics/cadical/cadical-1.8.0.ebuild
sci-mathematics/cadical/Manifest
sci-mathematics/cadical: drop old 1.5.2-r1
c6ff871
Maciej Barć
committed on 2023-10-07 14:57:43 UTC
sci-mathematics/cadical/Manifest
sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
Commits on 2023-01-11
sci-mathematics/cadical: install ccadical.h
ae18040
Maciej Barć
committed on 2023-01-11 03:44:07 UTC
sci-mathematics/cadical/cadical-1.5.3-r1.ebuild
sci-mathematics/cadical/cadical-1.5.3.ebuild
Commits on 2022-09-13
sci-mathematics/cadical: bump to 1.5.3
ad0442b
Maciej Barć
committed on 2022-09-13 02:40:23 UTC
sci-mathematics/cadical/cadical-1.5.3.ebuild
sci-mathematics/cadical/files/cadical-configure.patch
sci-mathematics/cadical/Manifest
Commits on 2022-01-25
**/metadata.xml: Replace http by https in DOCTYPE element
2585fff
Ulrich Müller
committed on 2022-01-25 18:37:45 UTC
sci-mathematics/cadical/metadata.xml
Commits on 2021-12-28
sci-mathematics/cadical: patch direct call to ar
130afa2
Maciej Barć
committed on 2021-12-28 17:44:59 UTC
sci-mathematics/cadical/cadical-1.5.2-r1.ebuild
sci-mathematics/cadical/files/cadical-makefile.in-ar.patch
sci-mathematics/cadical/cadical-1.5.2.ebuild
sci-mathematics/cadical: new package; add version 1.5.2
fc6bcf4
Maciej Barć
committed on 2021-12-28 14:46:16 UTC
sci-mathematics/cadical/Manifest
sci-mathematics/cadical/cadical-1.5.2.ebuild
sci-mathematics/cadical/metadata.xml