Tiger_Solver

I Use This!

Activity Not Available

Analyzed about 2 years ago. based on code collected over 2 years ago.

Project Summary

Tiger Solver is a sat-solver written in C. Using the DPLL algorithm and reading file in DIMACS format (cnf boolean expression). Tiger Solver use most features of many important sat-solver: - Double watches list - Chronological Backtracking ....

In a Nutshell, Tiger_Solver...

...
has had 5 commits made by 2 contributors
representing 723 lines of code
...
is mostly written in C
with a low number of source code comments
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in October, 2008
ending with its most recent commit over 17 years ago

Quick Reference

Homepage

(2 Locations)

Become the first manager for Tiger_Solver

This Project has No vulnerabilities Reported Against it

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
learn about Open Hub updates and features on the Open Hub blog
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
anyone with an Open Hub account can update a project's tags