MiniSat

I Use This!

Inactive

Analyzed about 4 hours ago. based on code collected about 7 hours ago.

Project Summary

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects (see "Links"). On this page you will find binaries, sources, documentation and projects related to MiniSat, including the Pseudo-boolean solver MiniSat+ and the CNF minimizer/preprocessor SatELite. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition.

In a Nutshell, MiniSat...

...
has had 303 commits made by 2 contributors
representing 3,457 lines of code
...
is mostly written in C++
with an average number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in July, 2007
ending with its most recent commit over 10 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

https://github.com/niklasso/minisat

Similar Projects:

Managers:

Become the first manager for MiniSat

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record

Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities

Few reported vulnerabilities

About Project Vulnerability Report

Did You Know...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can embed statistics from Open Hub on your site
...
55% of companies leverage OSS for production infrastructure
...
compare projects before you chose one to use