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.
Versions
v3.1.1 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64 ~x86
v3.1.0 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64 ~x86
Depending packages
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/kissat: drop old 3.0.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/kissat: bump to 3.1.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/kissat: bump to 3.1.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Ionen Wolkens · gentoo
sci-mathematics/kissat: add blocker on >=x11-terms/kitty-0.27
Would be difficult to rename or make 'kitten' optional from kitty's side given it's used/referenced in several places both by kitty's code and user documentation, and not familiar with sci-mathematics/kissat to say what's reasonable to do from that end, so just block. Can be revisited if someone actually needs these to coexist. Closes: https://bugs.gentoo.org/894342 Signed-off-by: Ionen Wolkens <ionen@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/kissat: new package; add 3.0.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>