@hackage / minisat

Metadata

• Last updated 12 Jul 2025, by JeroenBransen
• License BSD-3-Clause

• Maintained by:

• Lottery factor: 1 New

  The number of people with uploader permission on @hackage/minisat who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Documentation
• Source repository

Installation