Tiger Solver

I Use This!

Activity Not Available

Analyzed 4 months ago. based on code collected 5 months 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 6 commits made by 2 contributors
representing 917 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 15 years ago

Quick Reference

Project Links:

Homepage
Download

Code Locations:

https://svn.code.sf.net/p/tigers...

Similar Projects:

Managers:

lifeisfoo

Licenses

GNU General Public License v3.0 or later

Permitted

Commercial Use

Modify

Distribute

Place Warranty

Use Patent Claims

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

Include Install Instructions

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
compare projects before you chose one to use
...
65% of companies leverage OSS to speed application development in 2016
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog