arminbiere / kissat

git clone https://github.com/arminbiere/kissat.git

—

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

679

★ total

138

forks · 20 open issues

Star history starts 2026-10-26; the chart appears after the second daily snapshot.

LanguageC

LicenseMIT

Created2020-05-27 (6y ago)

Last push3d ago

OwnerUser

Links

GitHub: github.com/arminbiere/kissat
Releases · Issues · Hacker News mentions

README

Loading README…