gentoo.mahdi.cz

  

sci-mathematics:kissat


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

kissat-3.1.1MIT
download~amd64 ~x86gentoo
kissat-3.1.0MIT
download~amd64 ~x86gentoo