Tiger_Solver

I Use This!

Activity Not Available

Analyzed almost 2 years ago. based on code collected about 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 about 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...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
you can embed statistics from Open Hub on your site
...
65% of companies leverage OSS to speed application development in 2016
...
check out hot projects on the Open Hub