{"bugs":[],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":349,"name":"x11-terms","summary":"The x11-terms category contains terminal emulators for X11 environments."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"905e3e4fe660c62f09633b7a4097f5a72953947f","committime":"2025-08-01T17:22:39","packageid":75747,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"bb4495fb039500ccb76848dace66664b5414f7d1","committime":"2025-08-01T13:19:59","packageid":75747,"repoid":1,"summary":"sci-mathematics\/kissat: do not install static libs"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"cfa1fac457d98e486378817e30a4546b0a30c66d","committime":"2025-08-01T13:17:32","packageid":75747,"repoid":1,"summary":"sci-mathematics\/kissat: drop old 3.1.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e27564175b628dcc2bf5a234b941b12cbe2f2962","committime":"2023-10-11T00:31:54","packageid":75747,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"4bef4aa48264ad7e44bb9df5302dfe898d5e35c7","committime":"2023-10-11T00:18:41","packageid":75747,"repoid":1,"summary":"sci-mathematics\/kissat: drop old 3.0.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"1248ca497808075120f97fa0218151e8b113bd51","committime":"2023-10-11T00:18:21","packageid":75747,"repoid":1,"summary":"sci-mathematics\/kissat: bump to 3.1.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"85a1e0c71841487082d289b269e22430386d88af","committime":"2023-08-15T12:01:36","packageid":75747,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"adc778bc803eecb47bd8ce6ed3f9dad00ba2f884","committime":"2023-08-15T11:59:36","packageid":75747,"repoid":1,"summary":"sci-mathematics\/kissat: bump to 3.1.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dab47e9d2e5fcac02e8ef6db650504f90a676566","committime":"2023-02-15T06:31:52","packageid":75747,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ionen@gentoo.org","authorname":"Ionen Wolkens","body":"Would be difficult to rename or make 'kitten' optional from kitty's\nside given it's used\/referenced in several places both by kitty's code\nand user documentation, and not familiar with sci-mathematics\/kissat\nto say what's reasonable to do from that end, so just block.\n\nCan be revisited if someone actually needs these to coexist.\n\nCloses: https:\/\/bugs.gentoo.org\/894342\nSigned-off-by: Ionen Wolkens <ionen@gentoo.org>","commitid":"d9c1c1f31bd1b3426a67b091a5f2a6957c01fc94","committime":"2023-02-15T05:20:40","packageid":75747,"repoid":1,"summary":"sci-mathematics\/kissat: add blocker on >=x11-terms\/kitty-0.27"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"aaba5b8ec1e0d9bd4d911335a4f0d33dd616deb0","committime":"2023-01-10T04:32:02","packageid":75747,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"2257ce4ba9a5d9beb061ccff9ddb604ce77eb8bd","committime":"2023-01-10T04:20:24","packageid":75747,"repoid":1,"summary":"sci-mathematics\/kissat: new package; add 3.0.0"}],"dependencies":[],"depending":[{"block":true,"categoryid":349,"description":"Fast, feature-rich, GPU-based terminal","ebuildids":[49203,49203,888547,888547,892914,892914,893249,893249],"firstseen":"2018-02-05T12:34:55.607447","name":"kitty","packageid":68677}],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":871875,"firstseen":"2025-08-01T18:25:25.601574","license":"MIT","moddate":"2026-03-22T20:20:57","packageid":75747,"repoid":1,"slot":"0","uses":[],"version":"3.1.1-r1"}],"masks":[],"package":{"categoryid":317,"description":"Keep-it-simple and clean bare metal SAT solver written in C","firstseen":"2023-01-10T04:41:14.221763","name":"kissat","packageid":75747,"summary":"Kissat is a \"keep it simple and clean bare metal SAT solver\" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally \"kissat\" also means \"cats\" in Finnish."},"rdependencies":[],"repos":[{"branch":"master","lastcommit":"82366aa45a35f6900f43023917c2c86ccdbb00a3","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/fmv.jku.at\/kissat\/","https:\/\/github.com\/arminbiere\/kissat\/"],"uses":[]}