Package: wnpp Severity: wishlist Owner: Shengqi Chen <harry-c...@outlook.com> User: debian-scie...@lists.debian.org Usertags: field..logic X-Debbugs-Cc: debian-devel@lists.debian.org, debian-scie...@lists.debian.org, harry-c...@outlook.com
* Package name : kissat Version : 4.0.1 Upstream Contact: Armin Biere <armin.bi...@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
