Bug#1084868: ITP: kissat -- keep it simple and clean bare metal SAT solver

[陈 晟祺 <harry-chen@outlook.com>]

Package: wnpp
Severity: wishlist
Owner: Shengqi Chen <harry-chen@outlook.com>
User: debian-science@lists.debian.org
Usertags: field..logic
X-Debbugs-Cc: debian-devel@lists.debian.org, debian-science@lists.debian.org, harry-chen@outlook.com

* Package name    : kissat
  Version         : 4.0.1
  Upstream Contact: Armin Biere <armin.biere@gmail.com>
* URL             : https://github.com/arminbiere/kissat
* License         : MIT
  Programming Lang: C
  Description     : keep it simple and clean bare metal SAT solver

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.

I plan to maintain it with the science team.

Thanks,
Shengqi Chen