Package: wnpp Severity: wishlist Owner: Shengqi Chen <[email protected]> User: [email protected] Usertags: field..logic X-Debbugs-Cc: [email protected], [email protected], [email protected]
* Package name : kissat Version : 4.0.1 Upstream Contact: Armin Biere <[email protected]> * 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
