Gentoo Portage Overlays - sci-mathematics/kissat

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/kissat

Keep-it-simple and clean bare metal SAT solver written in C

Screenshots

kissat-3.1.1

~amd64 ~x86

View

Download

Browse License: MIT

Overlay: gentoo

kissat-3.1.0

~amd64 ~x86

View

Download

Browse License: MIT

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

kissat-3.1.1

!>=x11-terms/kitty-0.27

kissat-3.1.0

!>=x11-terms/kitty-0.27