{"bugs":[],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d644d0e0d4524154c5a8fdb4cc26c73d748d1290","committime":"2025-08-08T21:39:41","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"Signed-off-by: Eli Schwartz ","commitid":"412ab66ef1424d0aed6c639b1be26641cd9bed12","committime":"2025-08-08T21:25:58","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: update HOMEPAGE for https"},{"authoremail":"eschwartz@gentoo.org","authorname":"Eli Schwartz","body":"... to avoid installing broken static libraries w\/ LTO.\n\nCloses: https:\/\/bugs.gentoo.org\/958352\nSigned-off-by: Eli Schwartz ","commitid":"3d23389de9bb667af31ef0c4afea6a66fc21423f","committime":"2025-08-08T19:36:58","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: use dot-a.eclass"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c51a26e2d7d8ebf050a24dbff5ccc359b7aa4d28","committime":"2025-02-19T07:48:26","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"20b28a3c381abf1681dc7fb464ef154185b2c120","committime":"2025-02-19T07:32:19","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: Stabilize 2.0.0 amd64, #949943"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0f54615c9ebe139b7a3b4598bc8383effffbeac9","committime":"2024-06-27T22:48:56","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d38c26529bb8b6d68b0cc29530d974ed2df2f8b0","committime":"2024-06-27T21:55:41","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: bump to 2.0.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7c11cfab7c2abee71569e689801a8fe1a6512c0c","committime":"2024-06-27T21:23:19","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: drop old 1.9.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"54658f1c9105f4f246be05f1ebba6bd31092b897","committime":"2024-03-04T22:04:02","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c5869570c0a18934b6300b8e445aa1754756e8ed","committime":"2024-03-04T20:48:21","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: bump to 1.9.5"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7adbd5ccc9cdb1a9a77467c5f0faf3e38b3f799b","committime":"2024-03-04T20:42:20","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: drop old 1.8.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5626b7b854ef359a82dad7b027253635bb1d3cb3","committime":"2024-02-08T10:48:16","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8ff0e296c5d8d13e5b0a284f37b710190e0f870a","committime":"2024-02-08T10:08:20","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: bump to 1.9.4"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0db7bc276120264f1f860da406db476379f4dd2f","committime":"2024-02-08T10:01:02","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: drop old 1.5.3-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a32f6835ddf233b4b3e825b4221199970daee710","committime":"2023-10-07T22:58:02","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3f9ce223eb964305658c79338d9e8ec59cbf6a91","committime":"2023-10-07T22:13:22","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: bump to 1.8.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6c2d3cf3497d0b1ea8583c1f283f5a8a758805f3","committime":"2023-10-07T15:01:54","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c6ff8713690dcfe49a4301caf739ec86f5baae55","committime":"2023-10-07T14:53:28","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: drop old 1.5.2-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93b697a324e9c42fc2e49039d83308044365d974","committime":"2023-01-11T04:02:12","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ae18040bc339f7813cdf0372ad0afde8534ecdd1","committime":"2023-01-11T03:09:37","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: install ccadical.h"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"807c31aa6e78e3844913a5e83f2dae127d55fd97","committime":"2022-09-13T02:46:53","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ad0442b9f6f83e7c0900d50fa08e2fe2165d3f66","committime":"2022-09-13T02:24:41","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: bump to 1.5.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"619f4c42678a430c47fea7b31c0f7c321dbf8d33","committime":"2021-12-28T17:51:36","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/830175\nPackage-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"130afa266034cea03e902458a9dd42deaf0e23a6","committime":"2021-12-28T17:13:58","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: patch direct call to ar"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"864a85af4178fe95740eda1d2f912c64836232dc","committime":"2021-12-28T15:06:37","packageid":73921,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"fc6bcf4e287ef662105a629a9d69de4e4f15e0b9","committime":"2021-12-28T14:44:24","packageid":73921,"repoid":1,"summary":"sci-mathematics\/cadical: new package; add version 1.5.2"}],"dependencies":[],"depending":[{"block":false,"categoryid":317,"description":"The Lean Theorem Prover","ebuildids":[849623,849623,879060,879060],"firstseen":"2021-11-26T13:37:00.805088","name":"lean","packageid":73639,"summary":"The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research. Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming."}],"ebuilds":[{"archs":["amd64","~x86"],"ebuildid":831241,"firstseen":"2024-06-28T00:00:30.342602","license":"MIT","moddate":"2026-03-22T20:20:57","packageid":73921,"repoid":1,"slot":"0\/2.0.0","uses":[],"version":"2.0.0"},{"archs":["~amd64","~x86"],"ebuildid":817443,"firstseen":"2024-03-04T22:16:12.596971","license":"MIT","moddate":"2026-03-22T20:20:57","packageid":73921,"repoid":1,"slot":"0\/1.9.5","uses":[],"version":"1.9.5"}],"masks":[],"package":{"categoryid":317,"description":"Simplified Satisfiability Solver","firstseen":"2021-12-28T15:08:33.247115","name":"cadical","packageid":73921,"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."},"rdependencies":[],"repos":[{"branch":"master","lastcommit":"b0dd603654956bad345abbff616070880b281179","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/fmv.jku.at\/cadical\/","https:\/\/github.com\/arminbiere\/cadical\/"],"uses":[]}