Project Summary
Fast SAT Solver is an program, which solves the Boolean satisfiability problem. Complexity of this problem is NP-completeness, non-trivial problems of this complexity can not be solved on current HW in reasonable time while using ordinary algorithms.
This program solves problem using genetic algorithm (GA). Thanks to GA, (some) instances of this problem can be solved much faster than problem's theoretical complexity expects to. Disadvantage of this approach is fact, that there is not guarantee to find solution if any exists. Fast SAT Solver can solve this problem using either GA, or by blind algorithm (brute force).
In a Nutshell, fast-sat-solver...
GNU General Public License v2.0 or later
Permitted
Commercial Use
Modify
Distribute
Place Warranty
Forbidden
Sub-License
Hold Liable
Required
Distribute Original
Disclose Source
Include Copyright
State Changes
Include License
These details are provided for information only. No information here is legal advice and should not be used as such.
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
use of OSS increased in 65% of companies in 2016
-
...
learn about Open Hub updates and features on the Open Hub blog
-
...
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
